michaeljsmith / cnebt4hrp Goto Github PK
View Code? Open in Web Editor NEWTypescript implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" by Dunfield and Krishnaswami.
License: GNU General Public License v2.0