3 ms·
The idea might be nice but the syntax is so easy to mess up for humans that in the spec itself the author gets the translation of `not true` wrong (maybe a copy
by ranma_42 2y ago
The idea might be nice but the syntax is so easy to mess up for humans that in the spec itself the author gets the translation of `not true` wrong (maybe a copy-paste from `not false`?).
Should be "t (t (t t) (t t t)) t (t t)".
- gilleain 2y agoAgreed, as someone who spent far too long writing out tree-like expressions similar to this, it's very easy to get them wrong. Of course an editor with bracket-matching will _help_ but not to get the subtrees correct. ('signatures', in case you were wondering)