bidirectional

Explorations and Adventures in implementing "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" in Clojure.

http://www.cs.cmu.edu/~joshuad/papers/bidir/

Based off of the Haskell implementation by Olle Fredriksson

https://github.com/ollef/Bidirectional

Copyright © 2015 Nathan Sorenson

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.