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