Mastodon Feed: Post

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

i am attempting to write a co-debruijn based type theory.