4 commits

Author		Message	Date
Wen Kokke	a9f85c9ab1	EPUB and PDF now more-or-less work	2021-08-24 22:41:18 +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	2c82ce21da	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00