Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
RE: https://types.pl/@amy/116410578096025767
agda offers the unique opportunity to lick fash boot, totally unlike all the other theorem provers who love the fash boot.
Mastodon FeedMastodon Feed