@hackage improve0.0.2

An imperative, verifiable programming language for embedded applications.

TODO