The latest version of rest-rewrite is 0.4.4-0.
rest-rewrite
Version 0.1 revision 1 uploaded by sjakobi.
Package meta
- Synopsis
- Rewriting library with online termination checking
- Description
Rewriting library with online termination checking.
- Author
- n/a
- 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