Original-Via: uk.ac.ox.prg; Tue, 5 Nov 91 17:19:00 GMT
A slight correction to my previous message .. the basic intuition for
comp should have been:
comp x y o | "x is less than y" = LT
| "x is equal to y" = o
| "x is greater than y" = GT
| "x and y are incomparable" = NR
The second line in my original definition was wrong. Sorry for any
confusion caused.
Mark
- Efficient derived orderings ...? haskell-request
- haskell-request
