From: Evgenii Akentev <i@ak3n.com>
Date: Tue, 19 Mar 2024 16:56:49 +0000 (+0400)
Subject: Add temple.lean to projects
X-Git-Url: https://git.xn--bdkaa.com/?a=commitdiff_plain;h=ff501df0f8a51d7ff26fe3dfd1cbb71666e56544;p=xn--bdkaa.com.git

Add temple.lean to projects
---

diff --git a/content/pages/projects.md b/content/pages/projects.md
index a728d5e..3a9ac93 100644
--- 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="">