A language which attempts to take single-assignment to the logical extreme - View it on GitHub