From: Jim Pryor <profjim@jimpryor.net>
Date: Sat, 4 Dec 2010 20:22:17 +0000 (-0500)
Subject: (commented out) link on curry-howard
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=440924aebbdaf0bde9ac5c68249ecb1ae34e1859;hp=7a917bd2f9cd1512cc76e46b1e7627d15cb40b4c

(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 6cd08c10..fe861c4d 100644
--- 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
+-->