Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
type_equivalence [2014/11/17 19:02] nikolaj |
type_equivalence [2014/11/17 19:15] nikolaj |
||
---|---|---|---|
Line 24: | Line 24: | ||
==== Parents ==== | ==== Parents ==== | ||
=== Related === | === Related === | ||
- | [[Dependent type theory]] | + | [[Identity type]] |