From 84127ed2df9b876a62efac39110f40361812d762 Mon Sep 17 00:00:00 2001 From: Evgenii Akentev Date: Thu, 12 Sep 2024 16:44:06 +0400 Subject: [PATCH] upd --- themes/theme/layouts/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/themes/theme/layouts/index.html b/themes/theme/layouts/index.html index 163ce74..a22fd83 100644 --- a/themes/theme/layouts/index.html +++ b/themes/theme/layouts/index.html @@ -29,7 +29,7 @@ Most of my code is available at https://git.ak3n. Abstract & Virtual machines in Haskell - https://git.ak3n.com/?p=gcs.git - Garbage collection algorithms in C + Garbage collection algorithms - https://git.ak3n.com/?p=temple.lean.git A rudimentary template engine written in Lean4 without fancy dependent -- 2.50.1