Wen Kokke 9776956c5e Added URL filter which removes 'index.html'.		2020-10-28 12:17:56 +01:00
..
Routes	Added URL filter which removes 'index.html'.	2020-10-28 12:17:56 +01:00
Template	Fixed rendering errors.	2020-10-23 11:21:02 +02:00
Agda.hs	Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda.	2020-10-24 17:22:41 +02:00
Sass.hs	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00