Search results

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