sbcl-coalton 0.0.1-2.012f6c8 Dialect of ML in Common Lisp

Coalton is a dialect of ML embedded in Common Lisp. It emphasizes practicality and interoperability with Lisp, and is intended to be a DSL that allows one to gradually make their programs safer.