thufschmitt/ptyx Issues
Current state of ptyx
Updated 3blog status
Closed 3Define scope of project in README
Updated 1Infer function application
Closed 1Parse type annotations
ClosedType annotated lambdas
ClosedType constants
Closed
A type-system for Nix