| English Wikipedia - The Free Encycl... |
Idris (programming language)
Idris is a general-purpose purely functional programming language with dependent types. The type system is similar to the one used by Agda.
| See more at Wikipedia.org... |
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
