Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
type [2014/11/11 11:24] nikolaj |
type [2014/11/11 11:24] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Type ===== | ===== Type ===== | ||
==== Type ==== | ==== Type ==== | ||
- | The type of all other types under consideration. See [[Type theory]] for a longer discussion. | + | $\mathrm{Type}$ ... the type of all other types under consideration. See [[Type theory]] for a longer discussion. |
==== Parents ==== | ==== Parents ==== | ||
=== Related === | === Related === | ||
[[Type theory]] | [[Type theory]] |