Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
on the offchance anyone of the agda(ish) persuasion wouldn't mind a bit of work on the side on a formalization, i have been asked if i know anyone.
Mastodon FeedMastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
on the offchance anyone of the agda(ish) persuasion wouldn't mind a bit of work on the side on a formalization, i have been asked if i know anyone.