Re: The Great Integer Division Controversy

[Philip Wadler]

I gather the change you propose makes `div` consistent with
SML and Miranda, and uses `quo` for what Scheme calls `quotient`.
Sounds good to me.  -- P