This repository was archived by the owner on Mar 12, 2025. It is now read-only.
List view
- No due date•2/4 issues closed
- No due date•0/7 issues closed
- No due date
- No due date•0/5 issues closed
This is about making type inference correct. Correctness here means inferring types correctly and not producing false-positives. This is the most important task and once it's done, we can provide a language server.
No due date•1004/1055 issues closed