8 points | by ret2pop 2 days ago ago
1 comments
A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nix
A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nix