| Copyright | (c) Fabricio Olivetti 2021 - 2024 |
|---|---|
| License | BSD3 |
| Maintainer | fabricio.olivetti@gmail.com |
| Stability | experimental |
| Portability | |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Algorithm.EqSat.Simplify
Description
Module containing the algebraic rules and simplification function.
Synopsis
- simplifyEqSatDefault :: Fix SRTree -> Fix SRTree