bynect/constraint-inference

OCaml implementation of a constraint-based bottom-up type inference algorithm

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

话题：constraints · type-checking · type-inference · type-system

在 GitHub 上查看原仓库