I haven't had a chance to look at this in detail, but it reminds me of Ben Lynn's compiler. It also compiles a haskell like language to combinators, is self-hos

I haven't had a chance to look at this in detail, but it reminds me of Ben Lynn's compiler. It also compiles a haskell like language to combinators, is self-hosting, and won a prize in the obfuscated C code contest. His blog describes how it works and the development process: https://crypto.stanford.edu/~blynn/compiler/ https://crypto.stanford.edu/~blynn/compiler/