Closed shingarov closed 6 months ago
String>>syms is meaningless as part of Equation's test for recursion in PLE. However, here the treatment is about the Subable typeclass, which String absolutely does need to implement.
String>>syms
Subable
String
String>>syms
is meaningless as part of Equation's test for recursion in PLE. However, here the treatment is about theSubable
typeclass, whichString
absolutely does need to implement.