im reading the graded "fuck you, two dimensional context" modal type theory paper again
... + admit
hello this is where i make my gay little type theory posts that piss you off. and is also my backup main if cybre has problems
niss(e) • it/they • 32 • agda liker • main @g
avatar by @dzuk
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.