@hackage rest-rewrite0.1

Rewriting library with online termination checking

Categories
License
BSD-3-Clause
Maintainer
Zack Grannan <zgrannan@cs.ubc.ca>
Links
- Documentation
- No source repository
- Security
Versions
- 0.4.5 Tue, 12 Aug 2025
- 0.4.4 Mon, 5 May 2025
- 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

Installation
In your cabal file:
Dependencies (8)
- base >=4.7 && <5
- containers >=0.6.2 && <0.7
- hashable >=1.3.0 && <1.3.4
- mtl >=2.2.2 && <2.3
- parsec >=3.1.14 && <3.2
- process >=1.6.9 && <1.7
Dependents (2)
@hackage/safe-coupling, @hackage/liquid-fixpoint

Rewriting library with online termination checking.