[Haskell-cafe] Verifying Haskell Programs

Austin Seipp mad.one at gmail.com
Tue Feb 3 04:43:55 EST 2009


Excerpts from Austin Seipp's message of Tue Feb 03 03:40:47 -0600 2009:
> ...

After noticing that I didn't give a link to the code in the last
message, I searched and found this more up to date page I think:

http://compcert.inria.fr/doc/index.html

> Austin


More information about the Haskell-Cafe mailing list