You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Rem should fail if QuoInt would. This means literally if QuoInt would, not "take QuoInt's failure conditions and generalize them onto Rem." Unfortunately, this means we do need to calculate the quotient and the remainder whenever we call Rem.
The text was updated successfully, but these errors were encountered:
Rem
should fail ifQuoInt
would. This means literally ifQuoInt
would, not "takeQuoInt
's failure conditions and generalize them ontoRem
." Unfortunately, this means we do need to calculate the quotient and the remainder whenever we callRem
.The text was updated successfully, but these errors were encountered: