nikomatsakis/bidir-type-infer

Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust

语言：Rust · GitHub 星标：46 · Fork：3

在 GitHub 上查看原仓库