New posts in Curry Howard

If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?

What else can `loeb` function be used for?