Out-of-date commentary in Tc.Deriv.Infer
-
The commentary there talks about creating a variable
unsolved
, which does not seem to exist. -
In addition, the partition below creates
bad
, which is just ignored. Maybe this is right -- I have not thought about it. But if it is right, it should be documented.
cc @RyanGlScott