From ff501df0f8a51d7ff26fe3dfd1cbb71666e56544 Mon Sep 17 00:00:00 2001
From: Evgenii Akentev <i@ak3n.com>
Date: Tue, 19 Mar 2024 20:56:49 +0400
Subject: [PATCH] Add temple.lean to projects

---
 content/pages/projects.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

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="">
-- 
2.50.1