Danila Fedorin c9b8f18ca8 Update the blog source with new articles etc. ...

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

2026-04-05 23:22:11 +00:00

build

Make subsetting into a toggle.

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

flake.lock

Update the blog source with new articles etc.

2026-04-05 23:22:11 +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%