Cardelli Type Checker

This is a reasonably faithful translation of the Modula-2 code from Basic Polymorphic Typechecking by Luca Cardelli into Haskell and Javascript.

See the subdirectories hs and js for details on the respective implementations.

Contributing

1. Fork it!
2. Create your feature branch: git checkout -b my-new-feature
3. Commit your changes: git commit -am 'Add some feature'
4. Push to the branch: git push origin my-new-feature
5. Submit a pull request :D