tzemanovic / plfa

guest › [sign in] [explore]

{/} code [~] changes [>] discussions [*] jobs

mode name

-rw-r--r-- 2019-07-12-migration-to-agda-2-6-0-1.md

-rw-r--r-- 2019-08-31-release-notes-v19-08.md

-rw-r--r-- 2020-01-10-plfa-as-a-notebook.md

-rw-r--r-- 2020-04-30-praise-for-plfa.md

-rw-r--r-- 2020-06-02-plfa-as-epub.md

-rw-r--r-- 2020-06-23-talking-about-plfa.md

-rw-r--r-- 2020-07-13-denotational-semantics.md

-rw-r--r-- 2020-07-13-release-notes-v20-07.md

-rw-r--r-- 2020-07-14-versions-and-releases.md

-rw-r--r-- 2020-07-20-migration-to-agda-2-6-1.md

-rw-r--r-- 2021-08-24-plfa-as-pdf-and-epub.md

-rw-r--r-- 2022-08-24-release-notes-v22-08.md

-rw-r--r-- 2023-02-26-migration-to-agda-2-6-3.md

-rw-r--r-- 2024-09-05-migration-to-agda-2-7-0.md