[Nix-dev] typed nix

[Vladimír Čunát]

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3771 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160831/5dfff53f/attachment.p7s>