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

Language.Egison.Math.Rewrite

Description

This module implements rewrite rules for common mathematical functions.

Documentation

rewriteSymbol :: ScalarData -> ScalarData Source #