upd

diff --git a/themes/theme/layouts/index.html b/themes/theme/layouts/index.html
index d347c36d502c3d100123b50464e36ce8f9a48955..163ce74ee99dc0f8611793066078460ee7723490 100644 (file)
--- 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