ymyzk/lambda-dti

Interpreter of the ITGL with dynamic type inference

语言：OCaml · GitHub 星标：22 · Fork：5

话题：dune · functional-programming · gradual-typing · hindley-milner · interpreter · ocaml · repl · type-inferece

在 GitHub 上查看原仓库