Search results

Jump to navigation Jump to search
  • | [http://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    57 KB (7,915 words) - 15:02, 10 February 2020
  • | [http://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    59 KB (8,264 words) - 07:22, 9 February 2020
  • ;Idris: A general purpose pure functional programming language with dependent type
    34 KB (4,765 words) - 09:17, 11 January 2020