From: Evgenii Akentev <hi@ak3n.com>
Date: Tue, 10 Sep 2024 09:00:42 +0000 (+0400)
Subject: upd
X-Git-Url: https://git.xn--bdkaa.com/?a=commitdiff_plain;h=f7eab0df700b3fb010b6d6638855972068fcceae;p=xn--bdkaa.com.git

upd
---

diff --git a/themes/theme/layouts/index.html b/themes/theme/layouts/index.html
index d347c36..163ce74 100644
--- a/themes/theme/layouts/index.html
+++ b/themes/theme/layouts/index.html
@@ -19,8 +19,6 @@ projects
 
 Most of my code is available at <a href="https://git.ak3n.com">https://git.ak3n.com</a> 
 
-Haskell packages
-
 - <a href="https://hackage.haskell.org/package/debug-trace-file">https://hackage.haskell.org/package/debug-trace-file</a>
     Like Debug.Trace but writing to files.
 
@@ -30,7 +28,8 @@ Haskell packages
 - <a href="https://git.ak3n.com/?p=machines.hs.git">https://git.ak3n.com/?p=machines.hs.git</a>
     Abstract & Virtual machines in Haskell
 
-lean4 packages
+- <a href="https://git.ak3n.com/?p=gcs.git">https://git.ak3n.com/?p=gcs.git</a>
+    Garbage collection algorithms in C
 
 - <a href="https://git.ak3n.com/?p=temple.lean.git">https://git.ak3n.com/?p=temple.lean.git</a>
     A rudimentary template engine written in Lean4 without fancy dependent