4 commits

Author		Message	Date
Wen Kokke	67b94951e0	Bumped Agda version to 2.6.1.3.	2021-06-16 23:30:18 +01:00
Altariarite	c022088e3c	updated text-icu ver to be compatible with icu68+ (#565)	2021-06-16 16:13:27 +01: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