Nix is a prototype-grade implementation of a very narrowly useful model of computation.