Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
Primary LanguageHaskellOtherNOASSERTION
No issues in this repository yet.