3 ms·
It was more like they are from a strange haskell realm. Take a look at the ideal mathematical (verified) C compiler written in Coq. I find it neat: https://gi
by ernst_klim 8y ago
It was more like they are from a strange haskell realm.
Take a look at the ideal mathematical (verified) C compiler written in Coq. I find it neat:
https://github.com/AbsInt/CompCert https://github.com/AbsInt/CompCert