Programming language designed as an experiment to explore static verification of mutation contracts.
A hybrid imperative/functional language designed to explore the boundary between these 2 paradigms - trying to port some of the lessons and advantages from functional programming back to a more
... [More] traditional imperative style.
Allows controlled mutation and aliasing, but only when both caller and callee agree to it.
No global mutable state. [Less]
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy