Danila Fedorin ec4b7f7642 Update blog again since I was missing images ...

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

2026-04-05 23:24:08 +00:00

build

Make subsetting into a toggle.

2026-01-03 23:33:22 +00:00

flake.lock

Update blog again since I was missing images

2026-04-05 23:24:08 +00:00

flake.nix

Switch to stable NixOS, update flake.nix, have inputs follow nixpkgs

2025-12-26 22:41:57 +00:00

gemset.nix

Update to new nixpkgs etc

2025-03-02 21:45:32 +00:00

lib.nix

Fix Agda HTML crosslinking with Agda 2.8.0

2026-01-05 00:37:37 +00:00

Description

Nix flake / derivation for building my blog.

685 KiB

Languages

Nix 69%

Shell 31%