Andrew on Nostr: Curator of Mastodon.art fediblock :newt: Scathach agda at least looks saner and more ...
Curator of Mastodon.art fediblock :newt: (npub1wc2…4sk7) Scathach (npub1lc8…92pf) agda at least looks saner and more competent than vanilla haskell