Category:Idris: Difference between revisions
Content added Content deleted
(Created page with "{{stub}}{{language}}") |
(created) |
||
| Line 1: | Line 1: | ||
{{stub}}{{language}} |
{{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}} |
|||
Revision as of 12:20, 5 March 2023
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.
Pages in category "Idris"
The following 28 pages are in this category, out of 28 total.