Some writings about a type system for nix
This paper describes a WIP type system for nix.
See the rendered version here
thufschmitt
Back