@hackage rest-rewrite0.4.4

Rewriting library with online termination checking

Categories
License
BSD-3-Clause
Maintainer
Zack Grannan <zgrannan@cs.ubc.ca>
Links
Versions
- 0.4.4 Thu, 29 Aug 2024
- 0.4.3 Fri, 30 Aug 2024
- 0.4.2 Thu, 13 Jul 2023
- 0.4.1 Mon, 9 Jan 2023
- 0.4.0 Tue, 7 Jun 2022
- 0.3.0 Wed, 1 Jun 2022

Installation
In your cabal file:
Dependencies (20)
- base >=4.7 && <5
- containers >=0.6.2 && <0.8
- mtl >=2.2.2 && <2.4
- parsec >=3.1.14 && <3.2
- process >=1.6.9 && <1.7
- text >=1.2.4 && <2.2
Dependents (2)
@hackage/safe-coupling, @hackage/liquid-fixpoint

REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.