Search results

  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}} ...
    59 KB (8,350 words) - 07:37, 23 March 2024
  • ...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,466 words) - 09:53, 9 March 2024
  • ;Idris: Чистый функциональный язык программирования общего назначения с зависимыми ...
    39 KB (3,115 words) - 08:13, 7 May 2023
  • ;Idris: A general purpose pure functional programming language with dependent type ...
    33 KB (4,825 words) - 01:20, 28 March 2024
  • | [https://www.idris-lang.org/ idris] | {{ic|~/.idris}} ...
    109 KB (15,229 words) - 23:48, 26 March 2024