Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
okay i kinda had to try the shitpost and it does not work. idris helpfully doesn't evaluate that far because it doesn't need to for checking honest types.
Mastodon FeedMastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
okay i kinda had to try the shitpost and it does not work. idris helpfully doesn't evaluate that far because it doesn't need to for checking honest types.