Hacker News new | ask | show | jobs
Dependent Types in Pure Nix (blog.kleisli.io)
1 points by ret2pop 103 days ago