Bidirectional Type Checkers for λ→ and λΠhttp://jozefg.bitbucket.org/posts/2014-11-22-bidir.html by tel • 12 years ago 1 0 12 years agoJOjozefg.bitbucket.org