Merge branch 'pryor'

[lambda.git] / curry-howard.mdwn

diff --git a/curry-howard.mdwn b/curry-howard.mdwn
index 9aa7950..183b54e 100644 (file)
--- 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]].