fix markup
authorSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 13:46:30 +0000 (13:46 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 13:46:30 +0000 (13:46 +0000)
report/decls.verb

index 8641338..372936c 100644 (file)
@@ -1587,8 +1587,8 @@ definitions are all equivalent:
 \bprog
 @
   plus x y z = x+y+z
-  x @\bkqB@plus@\bkqA@ y = \ z -> x+y+z
-  (x @\bkqB@plus@\bkqA@ y) z = x+y+z
+  x `plus` y = \ z -> x+y+z
+  (x `plus` y) z = x+y+z
 @
 \eprog