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,324 words) - 15:37, 29 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
    31 KB (4,518 words) - 13:25, 30 June 2021
  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}}
    77 KB (10,701 words) - 06:14, 22 July 2021
  • ;Idris: A general purpose pure functional programming language with dependent type
    31 KB (4,411 words) - 09:59, 6 July 2021