3/5/2026 at 11:29:50 PM
A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nixby ret2pop
3/5/2026 at 11:26:26 PM
Trampolining Nix with GenericClosure
https://blog.kleisli.io/post/trampolining-nix-with-generic-closureby ret2pop
3/5/2026 at 11:26:26 PM
by ret2pop
3/5/2026 at 11:29:50 PM
A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nixby ret2pop