Tree Calculus 2 years 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)".