Comment by emmanueloga_

This looks really cool. How does this work compare to http://compcert.inria.fr/ (a verified C compiler)?

For most applications C would be low level enough, and possibly a better option.