Eric Finster
Results
1
comments of
Eric Finster
Oh, I am just noticing that the code posted above actually produced a slightly different error: ``` μ-unit-r is not a legal rewrite rule, since the following variables are not...