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