An implementation of the algorithm described in ``Basic Polymorphic Typechecking'', by Luca Cardelli http://lucacardelli.name/Papers/BasicTypechecking.pdf
Peter Wang novalazy@gmail.com
wangp/basic-type-checker
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|