GitHub repository: lambdageek/unbound-generics
Primary language: Haskell
Description: Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)