Add temple.lean to projects

diff --git a/content/pages/projects.md b/content/pages/projects.md
index a728d5efa9fb8b19dc7cdbc9e551786784543d85..3a9ac9373f784e55be3ef66e5813de67e4506ade 100644 (file)
--- a/content/pages/projects.md
+++ b/content/pages/projects.md
@@ -22,6 +22,17 @@ title: Projects
   </p>
 </details>
 
+### lean4 packages
+
+<details open="">
+  <summary>
+    <strong>temple.lean</strong> [<a href="https://git.ak3n.com/?p=temple.lean.git">source</a>]
+  </summary>
+  <p>
+    A rudimentary template engine written in Lean4 without fancy dependent types and useful operators yet. It can parse, build a tree, and substitute using de Bruijn Indices.
+  </p>
+</details>
+
 ### Educational
 
 <details open="">