All Categories → No Category → type-inferece

Top 1 type-inferece open source projects

Interpreter of the ITGL with dynamic type inference

✭ 18

ocaml Dockerfile interpreter functional-programming repl hindley-milner dune gradual-typing type-inferece

1-1 of 1 type-inferece projects