[Haskell-cafe] Tutorial: Curry-Howard Correspondence

[Yitzchak Gale]

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

Nice!

Perhaps you should add a link to this on the wiki:

http://haskell.org/haskellwiki/Curry-Howard-Lambek_correspondence

Thanks,
Yitz