https://plfa.github.io/ en Thu, 03 Sep 2026 10:39:56 +0000 https://plfa.github.io//2024/09/05/migration-to-agda-2-7-0/index.html Thu, 05 Sep 2024 12:00:00 +0000 https://plfa.github.io//2024/09/05/migration-to-agda-2-7-0/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2023/02/26/migration-to-agda-2-6-3/index.html Sun, 26 Feb 2023 12:00:00 +0000 https://plfa.github.io//2023/02/26/migration-to-agda-2-6-3/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2022/08/24/release-notes-v22-08/index.html Wed, 24 Aug 2022 12:00:00 +0000 https://plfa.github.io//2022/08/24/release-notes-v22-08/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2021/08/24/plfa-as-pdf-and-epub/index.html Tue, 24 Aug 2021 12:00:00 +0000 https://plfa.github.io//2021/08/24/plfa-as-pdf-and-epub/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/07/20/migration-to-agda-2-6-1/index.html Mon, 20 Jul 2020 12:00:00 +0000 https://plfa.github.io//2020/07/20/migration-to-agda-2-6-1/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/07/14/versions-and-releases/index.html Tue, 14 Jul 2020 12:00:00 +0000 https://plfa.github.io//2020/07/14/versions-and-releases/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/07/13/release-notes-v20-07/index.html Mon, 13 Jul 2020 12:00:00 +0000 https://plfa.github.io//2020/07/13/release-notes-v20-07/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/07/13/denotational-semantics/index.html Mon, 13 Jul 2020 12:00:00 +0000 https://plfa.github.io//2020/07/13/denotational-semantics/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/06/23/talking-about-plfa/index.html Tue, 23 Jun 2020 12:00:00 +0000 https://plfa.github.io//2020/06/23/talking-about-plfa/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/06/02/plfa-as-epub/index.html Tue, 02 Jun 2020 12:00:00 +0000 https://plfa.github.io//2020/06/02/plfa-as-epub/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/04/30/praise-for-plfa/index.html Thu, 30 Apr 2020 12:00:00 +0000 https://plfa.github.io//2020/04/30/praise-for-plfa/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2020/01/10/plfa-as-a-notebook/index.html Fri, 10 Jan 2020 12:00:00 +0000 https://plfa.github.io//2020/01/10/plfa-as-a-notebook/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2019/08/31/release-notes-v19-08/index.html Sat, 31 Aug 2019 12:00:00 +0000 https://plfa.github.io//2019/08/31/release-notes-v19-08/index.html Philip Wadler Wen Kokke Jeremy G. Siek https://plfa.github.io//2019/07/12/migration-to-agda-2-6-0-1/index.html Fri, 12 Jul 2019 12:00:00 +0000 https://plfa.github.io//2019/07/12/migration-to-agda-2-6-0-1/index.html Philip Wadler Wen Kokke Jeremy G. Siek