[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