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