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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results