| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Language.Lambda.Eval
Documentation
evalExpr :: Eq n => [n] -> LambdaExpr n -> LambdaExpr n Source #
betaReduce :: Eq n => [n] -> LambdaExpr n -> LambdaExpr n -> LambdaExpr n Source #
alphaConvert :: Eq n => [n] -> [n] -> LambdaExpr n -> LambdaExpr n Source #
etaConvert :: Eq n => LambdaExpr n -> LambdaExpr n Source #
sub :: Eq n => n -> LambdaExpr n -> LambdaExpr n -> LambdaExpr n Source #
freeVarsOf :: Eq n => LambdaExpr n -> [n] Source #