Mastodon Feed: Post

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

spherical agda: imagine the agda is a sphere