Twelf progress kind of slow. Bogged down by mundane "proof engineering" issues, specifically some annoyances that unfortunately I don't even think the promised module system would help.

Randomly encountered many Yurtizens and associated folks in the UC, went to hang out with them at dinner in a gesture of bidding roseandsigil goodbye since he is Seattlifying soon.

Then grammarnerd called me for to do music over at her place, which we did. Great fun.

Speaking of music, nothings did a sweet version of those chords I just posted. It's over here. Go listen to it! Especially once the melody kicks in, it is very nice.