Category:Idris: Difference between revisions
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}} |