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, 0.4.2, 0.4.3, 0.4.4
Dependencies base (>=4.7 && <5), containers (>=0.6.2 && <0.8), hashable (>=1.3.0 && <1.6), 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.2), 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 2024-08-29T14:29:20Z
Distributions LTSHaskell:0.4.4, NixOS:0.4.3, Stackage:0.4.4
Reverse Dependencies 2 direct, 21 indirect [details]
Downloads 1861 total (83 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-08-29 [all 1 reports]