An imperative language build from ground up for static analysis and verification in systems programming. This repository has been inactive for more than a year. I plan to get back to this project (or start a new one that continues the idea), but I can't say when it might happen.