Marco Paviotti
@gfixme.bsky.social
gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Lecturer. Category Theory, Semantics and Type Theory.
I bet they're going to be there to check you meet your deadlines
December 18, 2025 at 11:42 PM
I bet they're going to be there to check you meet your deadlines
lol, let me know if it works!
December 10, 2024 at 5:06 PM
lol, let me know if it works!