Update blog theme

2024-07-16 21:31:37 +00:00 · 2024-05-24 20:33:34 +00:00 · 2024-07-16 21:31:37 +00:00 · 2024-05-24 04:23:25 +00:00 · 2024-05-24 04:23:25 +00:00 · 2024-05-25 06:06:10 +00:00
diff --git a/Danila Fedorin b/Danila Fedorin
Danila Fedorin eb06a6fd72 Update blog theme		2024-07-16 21:31:37 +00:00
build	Factor out building Agda HTML from building the blog	2024-05-24 20:33:34 +00:00
flake.lock	Update blog theme	2024-07-16 21:31:37 +00:00
flake.nix	Use duktape to run KaTeX from ruby with Node	2024-05-24 04:23:25 +00:00
gemset.nix	Use duktape to run KaTeX from ruby with Node	2024-05-24 04:23:25 +00:00
lib.nix	Avoid using rev in Agda derivation	2024-05-25 06:06:10 +00:00