From 440924aebbdaf0bde9ac5c68249ecb1ae34e1859 Mon Sep 17 00:00:00 2001
From: Jim Pryor <profjim@jimpryor.net>
Date: Sat, 4 Dec 2010 15:22:17 -0500
Subject: [PATCH] (commented out) link on curry-howard

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---
 curry-howard.mdwn | 6 ++++++
 1 file changed, 6 insertions(+)

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
+-->
-- 
2.11.0