3 ms·
A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nix https://blog.kleisli.io/post/dependent-types-in-pure-nix
by ret2pop 7mo ago
A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nix https://blog.kleisli.io/post/dependent-types-in-pure-nix