The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.