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

Copyright(c) 2011 Edwin Westbrook Nicolas Frisby and Paul Brauner
LicenseBSD3
Maintaineremw4@rice.edu
Stabilityexperimental
PortabilityGHC
Safe HaskellNone
LanguageHaskell2010

Data.Binding.Hobbits.Examples.LambdaLifting.Examples

Description

 

Documentation

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

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

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

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

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

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

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

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