A knowledge base of Dotty internals and all things related - View it on GitHub