5 commits

Author		Message	Date
Wen Kokke	67b94951e0	Bumped Agda version to 2.6.1.3.	2021-06-16 23:30:18 +01:00
Wen Kokke	3291c18300	Bumped resolver and GHC version, added Hakyll, removed text-icu.	2021-06-16 16:26:02 +01:00
Wen Kokke	c732f6e89d	Bumped GHC version to 8.10.3.	2021-06-16 16:20:03 +01:00
Altariarite	c022088e3c	updated text-icu ver to be compatible with icu68+ (#565)	2021-06-16 16:13:27 +01:00
Wen Kokke	2c82ce21da	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00