Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision Next revision Both sides next revision | ||
type [2014/03/30 17:53] nikolaj old revision restored (2014/03/28 00:27) |
type [2014/04/03 22:23] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Type ===== | ===== Type ===== | ||
- | ==== Type ==== | + | ==== Meta ==== |
- | >the universe of Types (sometimes kinds) | + | The type of all other types under consideration. See [[Type theory]] for a longer discussion. |
- | >depended on the type theory, might keep this one informal, or make it a type itself. | + | |
==== Parents ==== | ==== Parents ==== | ||
=== Related === | === Related === | ||
[[Type theory]] | [[Type theory]] |