Skip to content

Latest commit

 

History

History
9 lines (7 loc) · 488 Bytes

README.md

File metadata and controls

9 lines (7 loc) · 488 Bytes

binder

Hackage Haskell CI

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.