Mastodon Feed: Post

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

i thought i should relax a little bit by writing some more idris except i've just realised that means going back to my fucking Nat proofs