The latest version of rest-rewrite is 0.4.4-0.

rest-rewrite

Version 0.1.1 revision 0 uploaded by zgrannan.

Package meta

Synopsis
Rewriting library with online termination checking
Description

Rewriting library with online termination checking.

Author
Zack Grannan <zgrannan@cs.ubc.ca>
Bug reports
n/a
Category
Rewriting
Copyright
n/a
Homepage
n/a
Maintainer
Zack Grannan <zgrannan@cs.ubc.ca>
Package URL
n/a
Stability
n/a

Components