Curator of Mastodon.art fediblock :newt: on Nostr: Scathach wtf agda is awesomeScathach (npub1lc8…92pf) wtf agda is awesome