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