Category:Idris: Difference between revisions
created
(Created page with "{{stub}}{{language}}") |
(created) |
||
Line 1:
{{stub}}{{language}}
Idris is a purely-functional programming language with dependent types.
* [https://www.idris-lang.org Home page]
* [https://github.com/idris-lang Repository]
* [https://en.wikipedia.org/wiki/Idris_(programming_language) Wikipedia]
{{language programming paradigm|functional}}
| |||