/docs/blog/_posts/
../
2015-10-23-dotty-compiler-bootstraps.md
2016-01-02-new-year-resolutions.md
2016-02-03-essence-of-scala.md
2016-02-17-scaling-dot-soundness.md
2016-05-05-multiversal-equality.md
2016-12-05-implicit-function-types.md