Mastodon Feed: Post

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

oh yeah and i've also started prototyping in idris. i have already gone overboard on the types and am regretting my choices.