Mastodon Feed: Post

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

this week i have mostly been tripping over TODO bits of the idris elaborator.

i am choosing to interpret this as progress of a sort 😅