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.
- Fork it!
- Create your feature branch:
git checkout -b my-new-feature - Commit your changes:
git commit -am 'Add some feature' - Push to the branch:
git push origin my-new-feature - Submit a pull request :D