Comment by emmanueloga_
11 years ago
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.
11 years ago
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.
No comments yet
Contribute on Hacker News ↗