@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
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 (8)
- base >=4.7 && <5
- containers >=0.6.2 && <0.7
- mtl >=2.2.2 && <2.3
- parsec >=3.1.14 && <3.2
- process >=1.6.9 && <1.7
- text >=1.2.4 && <1.3
Dependents (2)
@hackage/safe-coupling, @hackage/liquid-fixpoint

Rewriting library with online termination checking.