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