Hacker News new | ask | show | jobs
by dlahoda 794 days ago
nix modules have types. in flakes they can be quasi statically verified