The latest version of rest-rewrite is 0.4.4-0.
rest-rewrite
Version 0.4.0 revision 0 uploaded by zgrannan.
Package meta
- Synopsis
- Rewriting library with online termination checking
- Description
REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.
- 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