Comment Comment by ret2pop A sibling post: https://blog.kleisli.io/post/dependent-types-in-pure-nix parent ret2pop 8 months ago
