Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
idris_syntax [2016/05/08 20:48] nikolaj |
idris_syntax [2016/05/10 17:36] nikolaj |
||
---|---|---|---|
Line 149: | Line 149: | ||
=== Related === | === Related === | ||
[[Haskell]], | [[Haskell]], | ||
- | [[Haskell type system]], | + | [[Haskell type system]] |
- | [[Notes on Idris semantics]] | + | |
=== Requirements === | === Requirements === | ||
[[Idris]] | [[Idris]] |