Andrey Chudnov
Results
1
issues of
Andrey Chudnov
Please, add instructions on how to build the typechecker from source and how to use it. Also, documentation on how to specify types would have been helpful.