Category:Idris
![Language](http://static.miraheze.org/rosettacodewiki/thumb/2/27/Rcode-button-language-crushed.png/64px-Rcode-button-language-crushed.png)
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.