Post #3066769
2026-05-21 15:33 UTC
@mc@mathstodon.xyz It's actually important to have a *set* of types in order to model definitional equality.
Replies (1)
-
@mc@mathstodon.xyz 2026-05-21 15:39
@olynch@mathstodon.xyz uh elaborate please