Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

phew i've nailed dependently typing that elaborator with only one minor hack that makes it unquoteable. now how do i undo that hack?...