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