thufschmitt ptyx issues - Githubissues

thufschmitt / ptyx

A type-system for Nix

BSD 3-Clause "New" or "Revised" License

96 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Current state of ptyx

#8 GuillaumeDesforges opened 4 years ago
3
blog status

#7 timokau closed 6 years ago
3
Define scope of project in README

#6 robinbb-takt opened 6 years ago
1
Allow defining recursive types

#5 thufschmitt opened 6 years ago
0
Infer function application

#4 thufschmitt closed 6 years ago
1
Type annotated lambdas

#3 thufschmitt closed 6 years ago
0
Parse type annotations

#2 thufschmitt closed 6 years ago
0
Type constants

#1 thufschmitt closed 6 years ago
0