Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
idris_syntax [2016/05/10 17:36] nikolaj |
idris_syntax [2017/06/06 13:08] (current) nikolaj old revision restored (2016/05/10 17:44) |
||
---|---|---|---|
Line 2: | Line 2: | ||
| [[Idris]] $\blacktriangleright$ Idris syntax $\blacktriangleright$ [[...]] | | | [[Idris]] $\blacktriangleright$ Idris syntax $\blacktriangleright$ [[...]] | | ||
==== Note ==== | ==== Note ==== | ||
- | I'll try to take all the primitive notions and write down 1 example with them, respectively. | + | I'll try to take all the primitive notions and write down one example with them, respectively. |
This list largely overlaps with [[Haskell]]. | This list largely overlaps with [[Haskell]]. | ||
- | |||
- | > | ||
- | >Todo: | ||
- | > | ||
- | >Draw some neat images (and find some quite place...) | ||
- | > | ||
== Defining types == | == Defining types == |