ErrorFree-Runtime A runtime that implements the ErrorFree language Design philosophy, inspirational thoughts and deep insights regarding the language (as well as some rough specification) can be found here