equal
deleted
inserted
replaced
40 \input{Types/document/Overloading} |
40 \input{Types/document/Overloading} |
41 \input{Types/document/Overloading2} |
41 \input{Types/document/Overloading2} |
42 |
42 |
43 \index{overloading|)} |
43 \index{overloading|)} |
44 |
44 |
45 Finally we should remind our readers that \isa{Main} contains a much more |
45 \input{Types/document/Axioms} |
46 developed theory of orderings phrased in terms of the usual $\leq$ and |
|
47 \isa{<}. It is recommended that, if possible, you base your own |
|
48 ordering relations on this theory. |
|
49 |
46 |
50 \index{axiomatic type class|)} |
47 \index{axiomatic type class|)} |
51 \index{*axclass|)} |
48 \index{*axclass|)} |