On Tue, Oct 16, 2007 at 08:03:52PM -1000, Tim Newsham wrote: > A tutorial on the Curry-Howard Correspondence in Haskell: > http://www.thenewsh.com/%7Enewsham/formal/curryhoward/ > > Feedback appreciated.
Very clear and useful for me. Thank you for sharing it. Andrea _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe