Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
type [2014/11/11 11:24]
nikolaj
type [2014/11/11 11:24] (current)
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]]
Link to graph
Log In
Improvements of the human condition