egison-4.1.3: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageHaskell2010

Language.Egison.Math.Rewrite

Description

This module implements rewrite rules for common mathematical functions.

Documentation

rewriteSymbol :: ScalarData -> ScalarData Source #