From cc13cfc74672621e97c805a17b049200a30a1c1d Mon Sep 17 00:00:00 2001 From: SeungheonOh Date: Sun, 4 Oct 2026 10:02:28 -0500 Subject: [PATCH 1/2] Add PLFA Playground link to Table of Contents --- web/TableOfContents.md | 1 + 1 file changed, 1 insertion(+) diff --git a/web/TableOfContents.md b/web/TableOfContents.md index 13360e197..432e51b49 100644 --- a/web/TableOfContents.md +++ b/web/TableOfContents.md @@ -130,6 +130,7 @@ $endfor$ * [PLFArend](https://github.com/marat-rkh/PLFArend): the PLFA book with all code snippets rewritten in Arend. * [PLFaLean](https://github.com/rami3l/PLFaLean): PLFA proofs implemented in Lean 4, covering Parts 2-3 of the v22.08 release of the book. +* [PLFA Playground](https://plfa.isotopy.xyz): online PLFA playground running WASM compiled Agda in-browser. Please tell us of others! From 885aa7679d1ae162ebfa24c667992b5fd2183dcf Mon Sep 17 00:00:00 2001 From: "pre-commit-ci[bot]" <66853113+pre-commit-ci[bot]@users.noreply.github.com> Date: Sun, 4 Oct 2026 15:04:10 +0000 Subject: [PATCH 2/2] [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --- web/TableOfContents.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/TableOfContents.md b/web/TableOfContents.md index 432e51b49..1a3170009 100644 --- a/web/TableOfContents.md +++ b/web/TableOfContents.md @@ -130,7 +130,7 @@ $endfor$ * [PLFArend](https://github.com/marat-rkh/PLFArend): the PLFA book with all code snippets rewritten in Arend. * [PLFaLean](https://github.com/rami3l/PLFaLean): PLFA proofs implemented in Lean 4, covering Parts 2-3 of the v22.08 release of the book. -* [PLFA Playground](https://plfa.isotopy.xyz): online PLFA playground running WASM compiled Agda in-browser. +* [PLFA Playground](https://plfa.isotopy.xyz): online PLFA playground running WASM compiled Agda in-browser. Please tell us of others!