During last year I contributed to it and I learned a lot. About type checking, structuring a complex project and taming complexity.

Slides #