20:34:34|3b|and in addition to the "assert a relation" use there is the "test against an alternate implementation that might be broken but hopefully in different ways" use, where treating them symmetrically would be preferable
20:35:29|3b|(and let me know if i'm being too annoying about this stuff, parachute is still plenty usable already :)
20:35:54Shinmeraabout that I was actually thinking of a randomised testing support thing
20:36:45|3b|yeah, random testing might require that, depending on whether you can generate problems from answers
20:38:19ShinmeraWas thinking about a thing to define a grammar and a set of invariants
20:38:33Shinmerait would then randomly generate forms from the grammar and check the invariants at every step
20:53:21ShinmeraFro the relation thing I think ARE would be a good name