Hah, I love that you can actually write implication as `p <= q` in the current language – except for the fact that that's actually p implies q and not the other

Hah, I love that you can actually write implication as `p <= q` in the current language – except for the fact that that's actually p implies q and not the other way around. Reminds me of the little-known "down to" operator `-->` [1]. [1] https://stackoverflow.com/questions/1642028/what-is-the-operator-in-c-c https://stackoverflow.com/questions/1642028/what-is-the-oper...