[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The class Ix

| It would be possible to be a bit more draconian on the first law.  For
| example the following is simpler but more restrictive:
| 	range (l,u) !! index (l,u) i  ==  i

I prefer the draconian version.  I don't see what is gained
by the extra freedom you suggest.  Cheers, -- P