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

PortabilityGHC
Stabilityexperimental
Maintaineremw4@rice.edu

Data.Binding.Hobbits.Examples.LambdaLifting.Examples

Description

 

Documentation

ex1 :: Term ((b1 -> b) -> b1 -> b)

ex2 :: Term ((((b2 -> b1) -> b2 -> b1) -> b) -> b)

ex3 :: Term (b3 -> (((b3 -> b2 -> b1) -> b2 -> b1) -> b) -> b)

ex4 :: Term (((b1 -> b) -> b2 -> b) -> (((b1 -> b) -> b2 -> b) -> b2 -> b1) -> b2 -> b1)

ex5 :: Term (((b2 -> b1) -> b) -> (b2 -> b1) -> b)

ex6 :: Binding (L ((b -> b) -> a)) (Term a)

ex7 :: Binding (L ((b2 -> b2) -> b1)) (Term ((b1 -> b) -> b))

exP :: Term (((b1 -> b1) -> b) -> (b1 -> b1) -> b)