From f7eab0df700b3fb010b6d6638855972068fcceae Mon Sep 17 00:00:00 2001 From: Evgenii Akentev Date: Tue, 10 Sep 2024 13:00:42 +0400 Subject: [PATCH] upd --- themes/theme/layouts/index.html | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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 https://git.ak3n.com -Haskell packages - - https://hackage.haskell.org/package/debug-trace-file Like Debug.Trace but writing to files. @@ -30,7 +28,8 @@ Haskell packages - https://git.ak3n.com/?p=machines.hs.git Abstract & Virtual machines in Haskell -lean4 packages +- https://git.ak3n.com/?p=gcs.git + Garbage collection algorithms in C - https://git.ak3n.com/?p=temple.lean.git A rudimentary template engine written in Lean4 without fancy dependent -- 2.50.1