Why does #nix#flake need to download 117.7 MiB just to do a simple evaluation? #NixOS has a big redundancy and data efficiency problem. Could this be solved by typing and improved tooling for nix?
@jonn Agreed, but I would want better tooling to minimize unnecessary data and dependencies. I'm working on Nix.lean to give dependent types and better introspection to nix expressions.
@jonn @johnburnham We are already talking. I've worked in Yatima Inc for over a year :)