License : GPL / 0$
Last Updated : August 22nd, 2009
A coding language
Babel-17 is both a programming language and a language for writing up formal proofs. It is also an interactive theorem prover based on the Babel-17 language.
Get Babel-17 and test it for yourself to see what it can actually do!
Here are some key features of "Babel-17":
· dynamically typed
· purely functional with strict evaluation
· object-oriented
· support for data encapsulation (this is future work)
· exceptions
· pattern matching
· while and for loops
· built-in support for arbitrary precision integers, lists, maps and sets
· endorses unicode
Download Now
Posts
0 comments:
Post a Comment