17 Oct
2007
17 Oct
'07
9:47 a.m.
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