(commented out) link on curry-howard

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/curry-howard.mdwn b/curry-howard.mdwn
index 6cd08c1..fe861c4 100644 (file)
--- a/curry-howard.mdwn
+++ b/curry-howard.mdwn
@@ -320,3 +320,9 @@ something like this:
        ! (!a->!b) --> ! (!a->!b->!c)->!a->!c
        --------------------------------------- R->
         --> ! (!a->!b)->! (!a->!b->!c)->!a->!c
+
+
+
+<!--
+http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism
+-->