3 ms·
This is really neat, but I don't understand why the diagram version have a little added drop-down. Take for example S [\x\y\z(x z)(y z)], the alternative versi
by FullyFunctional 6y ago
This is really neat, but I don't understand why the diagram version have a little added drop-down. Take for example S [\x\y\z(x z)(y z)], the alternative version doesn't have the little extra vertical line segment. Is there a reason for it?
EDIT: Curiously, the Omega doesn't have it either.
- tromp 6y agoNo particular reason, except having different aesthetics. The regular diagrams always connect through their bottom left, so I let them stick out. The alternative diagrams are supposed to look prettier, which precluded having a leg stick out on the right of the bottom line .
- FullyFunctional 6y agoOT: but hoping the reach you; is there a less obfuscated version of your binary lambda evaluator?