Mastodon Feed: Post

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

it's taken an ungodly amount of time and effort, but i do think i'm starting to get an intuition for implementing type theory.