ptyx
ptyx copied to clipboard
A type-system for Nix
Results
3
ptyx issues
Sort by
recently updated
recently updated
newest added
Hi, is the project alive? Do you plan on continuing to work on it? Thanks
Recursive types are currently impossible to define. This will quickly become limiting (especially since they are needed to define list types)