csci8980-f21/posts
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