Hacker News new | ask | show | jobs
by erk__ 2441 days ago
That is made that way to mirror how logic usually is made to work in propositional logic.