Differences

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

Link to this comparison view

Both sides previous revision Previous revision
dependent_type_theory [2014/11/18 22:01]
nikolaj
dependent_type_theory [2015/01/08 01:14] (current)
ben don't insult the parser
Line 1: Line 1:
- ===== Dependent type theory =====+===== Dependent type theory =====
 ==== Framework ==== ==== Framework ====
 We want dependent types together with type constructors We want dependent types together with type constructors
Link to graph
Log In
Improvements of the human condition