X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=curry-howard.mdwn;h=183b54ebb463fb1cae33283053dc6703c15860dc;hp=9aa795041c66e63fda54e1ae2d6746b38e9cb442;hb=7e8b792951540174260cc74dc3a380d24ccf1df1;hpb=6ab1e3696ca3e88acf79a52ba2841bc8c66f7c98

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