π Node [[idris]]
β³ π Resource @ryan/idris
π idris.md by @ryan
Idris
Idris is a [[purely functional]] [[programming language]] derived from [[Haskell]].
Loading pushes...
Rendering context...