Interested in type theory, category theory and univalent foundations.
Updated 2024-03-19 20:23:36 +01:00