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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to