Differences
This shows you the differences between two versions of the page.
|
idris_book [2016/10/16 16:30] nikolaj created |
idris_book [2016/12/25 11:34] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Idris book ===== | ===== Idris book ===== | ||
| | [[Idris syntax]] $\blacktriangleright$ Idris book $\blacktriangleright$ [[...]] | | | [[Idris syntax]] $\blacktriangleright$ Idris book $\blacktriangleright$ [[...]] | | ||
| - | ==== Note ==== | + | ==== Book ==== |
| === Discussion === | === Discussion === | ||
| === Reference === | === Reference === | ||
