X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=curry-howard.mdwn;h=fe861c4dcaf5f588b4da0363bf45d127ff5a8d89;hp=6cd08c10de8cd1f8257bbdb1a2c82bef04adb3d8;hb=434fc9bef584f51ac5338a39dc4ff5da44b5b435;hpb=b078fa71d02d362b0b9b763abc77f75d8f19e22e

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