ptyx icon indicating copy to clipboard operation
ptyx copied to clipboard

verified publisher icon thufschmitt
→

Metadata

A type-system for Nix

Results 3 ptyx issues
Sort by recently updated
recently updated
newest added

Current state of ptyx

4 comment

Hi, is the project alive? Do you plan on continuing to work on it? Thanks

GuillaumeDesforges avatar GuillaumeDesforges

Define scope of project in README

1 comment

robinbb-takt avatar robinbb-takt

Allow defining recursive types

Recursive types are currently impossible to define. This will quickly become limiting (especially since they are needed to define list types)

thufschmitt avatar thufschmitt

← Metadata

96
Stars
3
Forks
Watchers

Owner

verified publisher icon thufschmitt

Metadata

A type-system for Nix

Back