Differences
This shows you the differences between two versions of the page.
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]] |