Search results

Jump to navigation Jump to search
  • | [http://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    54 KB (7,490 words) - 10:13, 23 June 2019
  • ;Idris: A general purpose pure functional programming language with dependent type
    34 KB (4,745 words) - 16:16, 14 February 2019