[Haskell-cafe] Tutorial: Curry-Howard Correspondence

[jerzy.karczmarczuk at info.unicaen.fr]

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