Portability | GHC |
---|---|
Stability | experimental |
Maintainer | emw4@rice.edu |
Data.Binding.Hobbits.Examples.LambdaLifting.Terms
Description
Documentation
data L a
data D a
data Term where
data DTerm where
data Decl where
hobbits-1.0: A library for canonically representing terms with binding
Portability | GHC |
---|---|
Stability | experimental |
Maintainer | emw4@rice.edu |
Data.Binding.Hobbits.Examples.LambdaLifting.Terms
Description
data L a
data D a
data Term where
data DTerm where
data Decl where