Search results

Jump to navigation Jump to search
  • 28 KB (2,989 words) - 11:50, 5 July 2021
  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    59 KB (8,332 words) - 08:07, 11 September 2021
  • ...om/d/msg/idris-lang/h2uWYmqHcc0/5k0jNmQ3BAAJ this thread] about installing Idris (another programming language, written in Haskell), where one had to use bo
    31 KB (4,518 words) - 13:25, 30 June 2021
  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    79 KB (11,048 words) - 13:39, 25 September 2021
  • ;Idris: A general purpose pure functional programming language with dependent type
    31 KB (4,411 words) - 09:59, 6 July 2021