https://github.com/glguy/hm

Implementation of Hindley-Milner type checking as an exercise in using the unification-fd package
https://github.com/glguy/hm

Last synced: about 2 months ago
JSON representation

Implementation of Hindley-Milner type checking as an exercise in using the unification-fd package

• Host: GitHub
• URL: https://github.com/glguy/hm
• Owner: glguy
• License: mit
• Created: 2015-08-29T18:44:18.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-06-21T05:58:03.000Z (over 7 years ago)
• Last Synced: 2024-05-08T20:13:57.423Z (8 months ago)
• Language: Haskell
• Size: 16.6 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project