Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
type_theory [2015/10/10 12:14] nikolaj |
type_theory [2015/10/10 13:36] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Type theory ===== | ===== Type theory ===== | ||
- | ==== Framework ==== | + | ==== Note ==== |
----- | ----- | ||