@hackage / joy-rewrite

Transform Joy code using conditional rewrite rules

Latest0.2.0

About

Metadata

  • Last updated , by rieckenj
  • License BSD-2-Clause

  • Maintained by: johannes.riecken@gmail.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.2.2
  2. 9.0.2
  3. 8.10.7
  4. 8.8.4
  5. 8.6.5
  6. 8.4.4
  7. 8.2.2
  8. 8.0.2

Readme

This package implements a rewriting function as detailed in the paper A Rewriting System for Joy by Manfred von Thun. It can be used to simplify expressions or to replace constant expressions by their results.