[<<][haskell][>>][..]
Mon Jun 25 17:30:18 EDT 2018

Products are easy, sums are hard

Another one: apparently in intuitionstic logic, it is not possible to
implement one connective in terms of the other.

However it is possible to have a single (ugly) one.

https://en.wikipedia.org/wiki/Intuitionistic_logic#Non-interdefinability_of_operators





[Reply][About]
[<<][haskell][>>][..]