Safe Haskell | None |
---|---|
Language | Haskell2010 |
Interpreter to beta-reduce static lambdas introduced only because of the compiling machinery (hence preserving lambdas put by the user).
Type BetaT
data BetaT term a where Source #
The annotation here is if a lambda is known statically,
and so can be applied if given an argument,
Moreover, it only does this beta-reduction if the lambda
has been introduced by the compiling phase
(which happens when a symantic method is a function
between term
s instead of being only a term
)
(i.e. lam1
is used, not lam
)