Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
Primary LanguageHaskellOtherNOASSERTION