Nix-TypeInference

Adding static typing and type inference to Nix
Is freely licensed? ✅
Website https://github.com/NixOS/nix/issues/14
NLNet grant pages