From: Evgenii Akentev Date: Thu, 12 Sep 2024 12:44:06 +0000 (+0400) Subject: upd X-Git-Url: https://git.xn--bdkaa.com/?a=commitdiff_plain;h=84127ed2df9b876a62efac39110f40361812d762;p=xn--bdkaa.com.git upd --- 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