Mastodon Feed: Post

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

(the hole is in my idris code, somehow not even solved even after getting up from my computer for an hour)