Re: [Haskell-cafe] Tutorial: Curry-Howard Correspondence

[jerzy . karczmarczuk]

Tim Newsham writes: 

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

Feedback appreciated.

Did I miss it (then I apologize), or that tutorial doesn't even mention
Djinn (in which case the Author should). 

Jerzy Karczmarczuk 

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe