- marked as minor
Division and modulo are partial functions
Issue #195
resolved
However, for the moment, they are not in IDP
Comments (3)
-
-
-
assigned issue to
-
assigned issue to
-
- changed status to resolved
Fixes
#195.→ <<cset 7c2a4fcfcd75>>
- Log in to comment