@hackage binder0.1

Variable binding for abstract syntax tree

binder is purely functional implementation of Ocaml's bindlib. It follows the style of higher-order abstract syntax, and offers the representation of abstract syntax tree.