hobbits-1.1.1: A library for canonically representing terms with binding
Data.Binding.Hobbits.Examples.LambdaLifting.Examples
Description
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