>>12710659Wtf does this schizo shit even mean? Why do computer scientists and logicians always come up with literally dozens of variants of the same exact thing? You could have just stuck with logic and set theory, and then lambda calculus if you need to reason in a manner that more concretely resembles programming languages.
