Nix flake / derivation for building my blog.
Go to file
2024-11-16 23:28:39 +00:00
build Factor out building Agda HTML from building the blog 2024-05-24 20:33:34 +00:00
flake.lock Update blog 2024-11-16 23:28:39 +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