rest-rewrite

Version 0.4.4 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

Components