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