From: Chris Barker <barker@kappa.linguistics.fas.nyu.edu>
Date: Mon, 13 Dec 2010 19:10:29 +0000 (-0500)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=03ba16641f31f44de7c191480944d46c3341ffd8;ds=sidebyside

edits
---

diff --git a/curry-howard.mdwn b/curry-howard.mdwn
index 9aa79504..183b54eb 100644
--- a/curry-howard.mdwn
+++ b/curry-howard.mdwn
@@ -320,4 +320,6 @@ something like this:
 </pre>
 
 See also
+[Wadler's symmetric
+calculus](http://homepages.inf.ed.ac.uk/wadler/papers/dual/dual.pdf), and
 [[http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism]].