From c46ab9ba11c17feb3b2ae448685b82ad77dc889f Mon Sep 17 00:00:00 2001
From: Marat Khabibullin <marat.r.khabibullin@gmail.com>
Date: Sun, 6 Apr 2025 12:44:40 +0300
Subject: [PATCH] TableOfContents.md: mention PLFArend as a Derived work

---
 web/TableOfContents.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web/TableOfContents.md b/web/TableOfContents.md
index 0f9553e2e..f81de3011 100644
--- a/web/TableOfContents.md
+++ b/web/TableOfContents.md
@@ -112,6 +112,10 @@ $endfor$
 [TSPL-2018]: https://plfa.github.io/19.08/TSPL/2018/
 [UVM-2018]: https://web.archive.org/web/20190324115921/https://david.darais.com/courses/fa2018-cs295A/
 
+### Derived works
+
+* [PLFArend](https://github.com/marat-rkh/PLFArend): the PLFA book with all code snippets rewritten in Arend.
+
 Please tell us of others!
 
 [GitHub]: https://github.com/plfa/plfa.github.io/