| Copyright | (c) 2011 Edwin Westbrook Nicolas Frisby and Paul Brauner |
|---|---|
| License | BSD3 |
| Maintainer | emw4@rice.edu |
| Stability | experimental |
| Portability | GHC |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Binding.Hobbits.Examples.LambdaLifting
Description
The lambda lifting example from the paper E. Westbrook, N. Frisby, P. Brauner, "Hobbits for Haskell: A Library for Higher-Order Encodings in Functional Programming Languages".
Synopsis
- module Data.Binding.Hobbits.Examples.LambdaLifting.Terms
- lambdaLift :: Term a -> Decls a
- mbLambdaLift :: Mb c (Term a) -> Mb c (Decls a)