18 Jun
2001
18 Jun
'01
9:28 a.m.
| Another simple alternative is to weaken the the equation by | replacing the variable r by the empty string: [Alternative B:] | | ... | should be the case that | | fst (head (readsPrec d (showsPrec d x ""))) == x Yes, I like this alternative too. I'll implement it. Thank you for spotting it. Simon