From 4fc8ebbf21118fa7703c20b7f7cae49467809fd7 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Wed, 14 Jul 2010 09:46:19 +0000
Subject: [PATCH] typesetting
---
report/derived.verb | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/report/derived.verb b/report/derived.verb
index 746d37c..0b39d8d 100644
--- a/report/derived.verb
+++ b/report/derived.verb
@@ -156,12 +156,10 @@ declaration counting as smaller than later ones. For example, for the
Derived comparisons always traverse constructors from left to right.
These examples illustrate this property:
-\bprog
-@
- (1,undefined) == (2,undefined) @"\Rightarrow"@ False
- (undefined,1) == (undefined,2) @"\Rightarrow"@ @"\bot"@
-@
-\eprog
+\begin{quote}
+@(1,undefined) == (2,undefined) @"\Rightarrow"@ False@\\
+@(undefined,1) == (undefined,2) @"\Rightarrow"@ @"\bot"
+\end{quote}
All derived operations of class @Eq@ and @Ord@ are strict in both arguments.
For example, "@False <= @\bot" is "\bot", even though @False@ is the first constructor
of the @Bool@ type.
--
GitLab