[Haskell-cafe] Tutorial: Curry-Howard Correspondence

jerzy.karczmarczuk at info.unicaen.fr jerzy.karczmarczuk at info.unicaen.fr
Wed Oct 17 18:32:37 EDT 2007

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 

More information about the Haskell-Cafe mailing list