“Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism”github.com1 point·jdemler··0 commentsOpen articleSaveView on HN