This repository is an implementation of the type system described in "Complete and Easy Bidirectional Type Inference" by Joshua Dunfield and Neelakantan R. Krishnaswami, published in IFCP '13.
ldm0 / bidir-type-infer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nikomatsakis/bidir-type-infer
Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust