Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
i know it's a bit heretical, but what if we just replaced nats with integers and beat the type theory with a stick until it understands at least some arithmetic?
Mastodon FeedMastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
i know it's a bit heretical, but what if we just replaced nats with integers and beat the type theory with a stick until it understands at least some arithmetic?