“Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism” #1 Post by jdemler » Tue, Apr 02, 2019, 12:03 PM UTC “Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism”github.com