Subscribe to our Newsletter

Type Inference for Nix

Website

Website not available yet

Adding static typing and type inference to Nix

ProjectID

Nix-TypeInference

Acronym

Nix-TypeInference

Additional Info

Not available yet

Enduser Relevance

Not available yet

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country:

NGI Project: NGI assure

Status: Early research demo

Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs