Quartz 4

❯

Inhabited Type

Dec 08, 20251 min read

A type $A$ is inhabited iff $\exists$ term $t : A$ .

Graph View

Backlinks

Connectedness (HoTT)

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community