@gfixme.bsky.social
21 Followers · 8 Following
gfixme : (▷ X -> X) -> X Lecturer. Category Theory, Semantics and Type Theory.
Nothing here yet.
