Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
type [2014/04/03 22:23] nikolaj |
type [2014/11/11 11:24] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Type ===== | ===== Type ===== | ||
| - | ==== Meta ==== | + | ==== 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]] | ||
