Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
aaaaanyway. i have prepared a new idris library for release. i'm cunningly holding off actually releasing it while i figure out what is missing by using it.
Mastodon FeedMastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
aaaaanyway. i have prepared a new idris library for release. i'm cunningly holding off actually releasing it while i figure out what is missing by using it.