Carlo Angiuli
@carloangiuli@mathstodon.xyz
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
mathstodon.xyz
Carlo Angiuli
@carloangiuli@mathstodon.xyz
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
mathstodon.xyz
@carloangiuli@mathstodon.xyz
·
Mar 05, 2026
I must have been in some kind of mood when I wrote these...
View full thread on mathstodon.xyz
14
6
3
Conversation (6)
Showing 0 of 6 cached locally.
Syncing comments from the remote thread. 6 more replies are still loading.
Loading comments...