egison-3.10.0: Programming language with non-linear pattern-matching against non-free data
Language.Egison.Desugar
Description
This module provide desugar functions.
desugarTopExpr :: EgisonTopExpr -> EgisonM EgisonTopExpr Source #
desugarExpr :: EgisonExpr -> EgisonM EgisonExpr Source #