This paper describes a WIP type system for nix.
See the rendered version here
thufschmitt / tix-papers
Licence: other
Some writings about a type system for nix
Stars: ✭ 18
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].