hobbits-1.1: A library for canonically representing terms with binding
Data.Binding.Hobbits.Examples.LambdaLifting.Terms
Description
data L a Source
data D a Source
data Term whereSource
Constructors
Instances
lam :: (Term a -> Term b) -> Term (a -> b)Source
data DTerm whereSource
data Decl whereSource
data Decls whereSource