[Haskell-cafe] Tutorial: Curry-Howard Correspondence

[Tim Newsham]

A tutorial on the Curry-Howard Correspondence in Haskell:
   http://www.thenewsh.com/%7Enewsham/formal/curryhoward/

Feedback appreciated.

Tim Newsham
http://www.thenewsh.com/~newsham/