If you click through the link on that page (and click on Compiler), there are a series of articles on the development process - step by step bootstrapping stage

If you click through the link on that page (and click on Compiler), there are a series of articles on the development process - step by step bootstrapping stages and some further development past that point. It's a really interesting read: https://crypto.stanford.edu/~blynn/compiler/ https://crypto.stanford.edu/~blynn/compiler/ I learned about Mogensen-Scott encoding and some tricks for efficiently compiling to SKI from those articles.