1 commit

Author		Message	Date
Wen Kokke	2c82ce21da	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00

Renamed from _posts/2020-07-20-migration-to-agda-2.6.1.md (Browse further)