Category:Idris: Difference between revisions
Content added Content deleted
(created) |
No edit summary |
||
Line 6:
* [https://github.com/idris-lang Repository]
* [https://en.wikipedia.org/wiki/Idris_(programming_language) Wikipedia]
==Todo==
''[[Tasks not implemented in Idris|Tasks not implemented in Idris]]''
{{language programming paradigm|functional}}
|
Latest revision as of 12:55, 5 March 2023
Idris
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using Idris.
This programming language may be used to instruct a computer to perform a task.
See Also: |
|
---|
Idris is a purely-functional programming language with dependent types.
Todo
Pages in category "Idris"
The following 28 pages are in this category, out of 28 total.