Eric Finster
Results
1
issues of
Eric Finster
I have encountered the following somewhat strange error message while using rewrites to set up a certain algebraic signature: ``` μ-unit-r is not a legal rewrite rule, since it contains...
type: bug
regression on master
rewriting