Wen Kokke 0441f97d8c Fixed citation page. Added announcement. Removed old build files.		2020-10-23 14:51:10 +02: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	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02: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