Hacker News new | ask | show | jobs
“Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism” (github.com)
1 points by jdemler 2642 days ago