Portability | GHC |
---|---|
Stability | experimental |
Maintainer | emw4@rice.edu |
Safe Haskell | None |
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".
- module Data.Binding.Hobbits.Examples.LambdaLifting.Terms
- lambdaLift :: Term a -> Decls a
- mbLambdaLift :: Mb c (Term a) -> Mb c (Decls a)