Category:Idris: Difference between revisions

From Rosetta Code
Content added Content deleted
(created)
No edit summary
 
Line 6: Line 6:
* [https://github.com/idris-lang Repository]
* [https://github.com/idris-lang Repository]
* [https://en.wikipedia.org/wiki/Idris_(programming_language) Wikipedia]
* [https://en.wikipedia.org/wiki/Idris_(programming_language) Wikipedia]

==Todo==
''[[Tasks not implemented in Idris|Tasks not implemented in Idris]]''



{{language programming paradigm|functional}}
{{language programming paradigm|functional}}

Latest revision as of 12:55, 5 March 2023

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
Idris
This programming language may be used to instruct a computer to perform a task.
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using Idris.

Idris is a purely-functional programming language with dependent types.

Todo

Tasks not implemented in Idris

Retrieved from "https://rosettacode.org/wiki/Category:Idris?oldid=338259"