Change the Display impl for Semantic to output something goofy, like instead of and(a, b, c) it does (a ∧ b ∧ c). Whoever PRs to do this should provide several examples so we can debate this, especially the threshold notation. (Maybe we want (2 = a + b + c) for thresh(2, a, b, c)?)
This issue was first described in #885 (#885 (comment)) after a PR was up already (#914). Opening this issue so #914 can close it.
Change the
Displayimpl forSemanticto output something goofy, like instead ofand(a, b, c)it does(a ∧ b ∧ c). Whoever PRs to do this should provide several examples so we can debate this, especially the threshold notation. (Maybe we want(2 = a + b + c)forthresh(2, a, b, c)?)This issue was first described in #885 (#885 (comment)) after a PR was up already (#914). Opening this issue so #914 can close it.