A minimal implementation of Hindley-Milner's Algorithm J in OCaml
Why do you think that https://github.com/zheland/typed-index-collections is a good alternative to algorithm-j
A minimal implementation of Hindley-Milner's Algorithm J in OCaml
Why do you think that https://github.com/zheland/typed-index-collections is a good alternative to algorithm-j