Idris - General purpose pure functional programming language with dependent types influenced by Haskell and ML. Ada/SPARK - Modern programming language designed for large, long-lived apps where ...
Contribute to EsmailLeath/Alemdar development by creating an account on GitHub.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results