Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
dependent_type_theory [2014/11/18 22:01] nikolaj |
dependent_type_theory [2015/01/08 01:14] 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 | ||
