Mastodon Feed: Post

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

you know, i could just do it in idris.