Hacker News new | comments | show | ask | jobs | submit login

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




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: