In reply to
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
·
Feb 17, 2026
@modulux I hope so! At the very least, the *non-symbolic* parts of these documents should be substantially more accessible, which is a first step.
View full thread on mathstodon.xyz
2
0
0
Loading comments...