fluffynukeit / scbtLinks

Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
11Updated 5 years ago

Alternatives and similar repositories for scbt

Users that are interested in scbt are comparing it to the libraries listed below

Sorting: