You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When the ring solver is invoked to prove that unequal terms are equal, Agda shows the correct error, but points to the wrong location.
There is an example for the problem in
Cubical/Algebra/RingSolver/Examples.agda
in #490
The text was updated successfully, but these errors were encountered:
When the ring solver is invoked to prove that unequal terms are equal, Agda shows the correct error, but points to the wrong location.
There is an example for the problem in
Cubical/Algebra/RingSolver/Examples.agda
in #490
The text was updated successfully, but these errors were encountered: