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: 6 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 (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-04-03T16:52:17.000Z (over 6 years ago)
- Last Synced: 2025-03-25T23:14:18.627Z (6 months ago)
- Topics: functional-programming, haskell, hindley-milner, parser, type-checker
- Language: Haskell
- Size: 13.7 KB
- Stars: 5
- Watchers: 4
- Forks: 0
- Open Issues: 0