Search results

Jump to navigation Jump to search
  • 28 KB (2,989 words) - 19:42, 2 June 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
    27 KB (4,003 words) - 20:16, 21 June 2021
  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    59 KB (8,327 words) - 12:56, 17 June 2021
  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    76 KB (10,528 words) - 11:02, 18 June 2021
  • ;Idris: A general purpose pure functional programming language with dependent type
    31 KB (4,400 words) - 19:43, 2 June 2021