Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
type_theory [2015/10/10 13:36]
nikolaj
type_theory [2017/04/14 23:36]
nikolaj
Line 2: Line 2:
 ==== Note ==== ==== Note ====
 ----- -----
 +
 +=== Reference ===
  
 ----- -----
 === Related === === Related ===
 [[About]], [[Specifying syntax]] [[About]], [[Specifying syntax]]
Link to graph
Log In
Improvements of the human condition