https://github.com/csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.
https://github.com/csabahruska/dsl-experiment

functional-programming haskell hindley-milner parser type-checker

Last synced: 3 months ago
JSON representation

Basic implementation of Hindley-Milner Type System and variants.

• Host: GitHub
• URL: https://github.com/csabahruska/dsl-experiment
• Owner: csabahruska
• License: mit
• Created: 2019-04-03T16:15:28.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-04-03T16:52:17.000Z (almost 6 years ago)
• Last Synced: 2023-03-12T05:18:09.888Z (almost 2 years ago)
• Topics: functional-programming, haskell, hindley-milner, parser, type-checker
• Language: Haskell
• Size: 13.7 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project