New Website

Posted on July 20, 2016

I’ve started using Hakyll to generate the contents of our website. Until this decision, the website has long been composed of all manually written HTML files.