Differences

This shows you the differences between two versions of the page.

Link to this comparison view

idris_book [2016/10/16 16:30]
nikolaj created
idris_book [2016/12/25 11:34] (current)
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 ===
Link to graph
Log In
Improvements of the human condition