[chubot]

How does it work? Is it translating the C source code of the 8cc C compiler to lambda calculus?

So like C -> ELVM IR -> lambda calculus?

https://github.com/shinh/elvm

If so, it seems like 8cc is doing most of the heavy lifting

[omegalulw]

That was my question to. 8cc is doing the heavy lifting of compiling C.