Typing the nix language(gofundme.com)
gofundme.com
Typing the nix language
https://www.gofundme.com/typing-nix
1 comments
A type system for Nix would be pretty neat, but a lot of unfortunate design decisions were made in the absence of one that may make this a difficult project.