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/

I learned about Mogensen-Scott encoding and some tricks for efficiently compiling to SKI from those articles.