rest-rewrite: Rewriting library with online termination checking

[ bsd3, library, rewriting ] [ Propose Tags ]
Versions [RSS] 0.1, 0.1.1, 0.2.0, 0.3.0, 0.4.0, 0.4.1
Dependencies base (>=4.7 && <5), containers (>=0.6.2 && <0.7), hashable (>=1.3.0 && <1.5), monad-loops (>=0.4.3 && <0.5), mtl (>=2.2.2 && <2.4), parsec (>=3.1.14 && <3.2), process (>=1.6.9 && <1.7), QuickCheck, rest-rewrite, text (>=1.2.4 && <2.1), time (>=1.9.3 && <1.13), unordered-containers (>=0.2.13 && <0.3) [details]
License BSD-3-Clause
Author Zack Grannan <zgrannan@cs.ubc.ca>
Maintainer Zack Grannan <zgrannan@cs.ubc.ca>
Category Rewriting
Source repo head: git clone https://github.com/zgrannan/rest
Uploaded by zgrannan at 2023-01-09T22:19:40Z
Distributions NixOS:0.4.1, Stackage:0.4.1
Reverse Dependencies 2 direct, 20 indirect [details]
Downloads 738 total (65 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-01-09 [all 1 reports]