This paper describes a WIP type system for nix.

See the rendered version [here](https://hydra.regnat.ovh/job/tix-paper/tix-papers/build/latest/download/1)