thufschmitt/tix-papers

Some writings about a type system for nix

TeX