bound-simple (hackage): An abstraction for representing bound variables. Most of this code has been extracted from bound, with the purpose of providing a mostly self-contained library for implementing embedded languages.
Keywords: bsd3|language|library|lambda-calculus