Viewing profile — Kambing

Apologies, I was focused on the usual pairing in this space and not the more subtle one you're talking about. As others have pointed out, there isn't really semantic a difference b…

They are isomorphic in the strong sense that their logical interpretations are identical. Applying Curry-Howard, a function type is an implication, so a curried function with type …

The highlights of Google's latest AI push for higher education: - "Starting today, students (ages 18+) in the U.S. as well as in Japan, Indonesia, Korea and Brazil can sign-up for …

> A test is not a proof Actually, a test _is_ a proof! Or more specifically, a traditional test case is a narrow, specific proposition. For example, the test `length([1, 2, 3]) = 3…