Wen Kokke b1e9152bcc Fixed links.		2021-08-25 22:30:13 +01:00
..
2019-07-12-migration-to-agda-2.6.0.1.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
2020-01-10-plfa-as-a-notebook.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
2020-04-30-praise-for-plfa.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
2020-06-02-plfa-as-epub.md	Fixed syntax for assigning anchors.	2021-08-25 00:17:03 +01:00
2020-06-23-talking-about-plfa.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
2020-07-13-denotational-semantics.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
2020-07-14-versions-and-releases.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
2020-07-20-migration-to-agda-2.6.1.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
2020-10-23-building-with-hakyll.md	Fixed citation page. Added announcement. Removed old build files.	2020-10-23 14:51:10 +02:00
2021-08-24-plfa-as-pdf-and-epub.md	Fixed links.	2021-08-25 22:30:13 +01:00