5 commits

Author		Message	Date
Wen Kokke	9776956c5e	Added URL filter which removes 'index.html'.	2020-10-28 12:17:56 +01:00
Wen Kokke	e33b5fc952	Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda.	2020-10-24 17:22:41 +02:00
Wen Kokke	66ae436dc1	Updated Agda version, added caching back in.	2020-10-24 17:19:11 +02:00
Wen Kokke	3d4c9f7a1d	Fixed rendering errors.	2020-10-23 11:21:02 +02:00
Wen Kokke	2c82ce21da	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00