Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
haskell_type_system [2015/10/10 20:18] nikolaj |
haskell_type_system [2016/05/10 18:21] nikolaj |
||
|---|---|---|---|
| Line 163: | Line 163: | ||
| === Reference === | === Reference === | ||
| Wikipedia: [[http://en.wikipedia.org/wiki/Kind_%28type_theory%29|Kind (type theory)]] | Wikipedia: [[http://en.wikipedia.org/wiki/Kind_%28type_theory%29|Kind (type theory)]] | ||
| - | ==== Parents ==== | + | |
| + | ----- | ||
| + | === Related=== | ||
| + | [[Hask]] | ||
| === Requirements === | === Requirements === | ||
| [[Type theory]], [[Haskell]] | [[Type theory]], [[Haskell]] | ||
