Differences

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

Link to this comparison view

Both sides previous revision Previous revision
idris [2016/04/18 20:20]
nikolaj
idris [2016/04/18 20:20] (current)
nikolaj
Line 1: Line 1:
 ===== Idris ===== ===== Idris =====
-| [[Notes on programming languages]] \blacktriangleright Idris [[Idris syntax]] |+| [[Notes on programming languages]] ​$\blacktrianglerightIdris $\blacktriangleright$ ​[[Idris syntax]] |
 ==== Note ==== ==== Note ====
 === Language === === Language ===
Link to graph
Log In
Improvements of the human condition