/bidirectional

↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.

Primary LanguageRustMIT LicenseMIT

Stargazers