Dependent Types in Pure Nix Posted by ret2pop on Thursday March 05, 2026 @03:20AM from the blog.kleisli.io dept. https://blog.kleisli.io/post/dependent-types-in-pure-nix/ ( no comments | on HN )
There are no comments yet.