Matheo Tripnaux's Second Brain

Home

❯

Higher Inductive Types

Higher Inductive Types

Dec 28, 20251 min read

Types defined by their constructors and path spaces.


Graph View

Created with Quartz v4.5.2 © 2026