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.