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

Here is a terrible idea, I think



One advantage of making the user type (ZEROP (MOD ...)) is that
it makes clear that he is doing that and not (ZEROP (REMAINDER ...)),
which might also be a distinct useful operation.
--Sigh,
  Guy