edits

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
 </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]].
 [[http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism]].