Mastodon Feed: Post

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

just wrote a 64 line idris function.

well i say wrote, i generated most of it with case split.