Mastodon Feed: Post

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

Unfortunately, type theory’s
additional computation rules complicate matters.

yeah they do that