neel-krishnaswami / inverse-bidirectional-typechecking

A Toy Inverse Bidirectional Typechecker
β˜†31Updated 5 years ago

Alternatives and similar repositories for inverse-bidirectional-typechecking:

Users that are interested in inverse-bidirectional-typechecking are comparing it to the libraries listed below