Category:Idris

From Rosetta Code
(Redirected from Idris)
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.
Retrieved from "https://rosettacode.org/w/index.php?title=Category:Idris&oldid=247479"