/content/post/
../
2017-08-16-tapl.md
2017-08-17-untyped-arithmetic-expressions.md
2017-08-22-thinkpad-e470.md
2017-08-24-untyped-lambda-calculus.md
2018-09-11-shapeless.md