Revision as of 12:20, 5 March 2023 (view source) Spdegabrielle (talk \| contribs) (created) ← Older edit		Latest revision as of 12:55, 5 March 2023 (view source) Spdegabrielle (talk \| contribs) No edit summary
Line 6: * [https://github.com/idris-lang Repository] * [https://en.wikipedia.org/wiki/Idris_(programming_language) Wikipedia] ==Todo== ''[[Tasks not implemented in Idris\|Tasks not implemented in Idris]]'' {{language programming paradigm\|functional}}

Category:Idris: Difference between revisions

Category:Idris (view source)