rest-rewrite: Rewriting library with online termination checking

[ bsd3, library, rewriting ] [ Propose Tags ]

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

Modules

[Index] [Quick Jump]

Language
- Language.REST

Downloads

rest-rewrite-0.4.3.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

zgrannan

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

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
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.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-01-29T16:32:06Z
Distributions	LTSHaskell:0.4.3, NixOS:0.4.3, Stackage:0.4.3
Reverse Dependencies	2 direct, 21 indirect [details]
Downloads	1466 total (70 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-01-29 [all 1 reports]