TIL that the CompCert verified C compiler is defined as a heavily documented literate program! So cool: compcert.org/doc/
Conversation
That looks like quite the endeavor!
1
1
Hah, and I was already aware that CompCert was “quite the endeavor”. This just hammers it home even more. I'm glad this thing exists. 🥰
1
2