On 08/29/2016 11:47 PM, stewart mackenzie wrote: > per chance, is there work underway to make nix a typed language?
There's a ticket open: https://github.com/NixOS/nix/issues/14 but IMO someone should first think through the implications, as I suspect they'll be highly nontrivial... --Vladimir
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
