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 12:14] nikolaj |
type_theory [2017/04/14 23:36] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Type theory ===== | ===== Type theory ===== | ||
| - | ==== Framework ==== | + | ==== Note ==== |
| ----- | ----- | ||
| + | |||
| + | === Reference === | ||
| ----- | ----- | ||
| === Related === | === Related === | ||
| [[About]], [[Specifying syntax]] | [[About]], [[Specifying syntax]] | ||
