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 [2016/04/11 17:30] nikolaj |
idris [2016/04/11 21:15] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
=== Language === | === Language === | ||
See [[Idris syntax]] | See [[Idris syntax]] | ||
+ | |||
+ | == Basics including prelude == | ||
+ | |||
+ | http://www.idris-lang.org/docs/current/ | ||
+ | |||
=== Discussion === | === Discussion === | ||
=== Reference === | === Reference === |