From 03ba16641f31f44de7c191480944d46c3341ffd8 Mon Sep 17 00:00:00 2001
From: Chris Barker <barker@kappa.linguistics.fas.nyu.edu>
Date: Mon, 13 Dec 2010 14:10:29 -0500
Subject: [PATCH] edits

---
 curry-howard.mdwn | 2 ++
 1 file changed, 2 insertions(+)

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]].
-- 
2.11.0