Closed jlouis closed 6 years ago
Change the type checker for a bidirectional one
This is still WIP, just want a PR to track it.
It's looking good however. Way cleaner than the old typechecker. And it can solve the remaining validations far easier I think.
Change the type checker for a bidirectional one