hobbits-1.0: A library for canonically representing terms with binding

PortabilityGHC
Stabilityexperimental
Maintaineremw4@rice.edu

Data.Binding.Hobbits.Examples.LambdaLifting

Contents

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

Term data types, using Mb

module Data.Binding.Hobbits.Examples.LambdaLifting.Terms

The lambda-lifting function

lambdaLift :: Term a -> Decls aSource

mbLambdaLift :: Mb c (Term a) -> Mb c (Decls a)Source