Use ml-w: Minimal ML language to to demonstrate the W type infererence algorithm.
Open
enhancement
- Dominant language
- Haskell
- Stars
- 6
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
It is not Haskellish, but it is very small and ocaml
https://github.com/helvm/ml-w
Contributor guide
Assessment
This issue has not been assessed yet.