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,521 words) - 05:41, 17 October 2021
  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    81 KB (11,255 words) - 16:06, 25 October 2021
  • ;Idris: A general purpose pure functional programming language with dependent type
    31 KB (4,411 words) - 09:55, 9 October 2021