Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sum_type [2014/03/30 20:09] nikolaj |
sum_type [2014/04/01 14:13] nikolaj |
||
---|---|---|---|
Line 17: | Line 17: | ||
==== Parents ==== | ==== Parents ==== | ||
=== Related === | === Related === | ||
- | [[Type theory]] | + | [[Type]] |