Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
chiron [2014/03/27 21:35] nikolaj |
chiron [2014/03/27 21:35] nikolaj |
||
|---|---|---|---|
| Line 130: | Line 130: | ||
| ==== Parents ==== | ==== Parents ==== | ||
| === Related === | === Related === | ||
| - | [[Type theory]], [[Set theory]], [[Key words and built-in operator names]] | + | [[Type theory]], [[Set theory]] |
