Mastodon Feed: Post

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

i love idris, and i would very much like more people to learn it, if they want to.

but please do so with the understanding that it isn't something easily mastered.