[Haskell-cafe] Tutorial: Curry-Howard Correspondence

[Vitaliy Akimov]

Very clear tutorial indeed. But why isn't propCC shown as Pierce's
Law? And Excluded middle is proven on such basis.

Vitaliy.