Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
haskell_type_system [2015/10/10 20:18]
nikolaj
haskell_type_system [2016/05/10 18:21] (current)
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]]
Link to graph
Log In
Improvements of the human condition