Division and modulo are partial functions

Issue #195 resolved
Bart Bogaerts created an issue

However, for the moment, they are not in IDP

Comments (3)

  1. Log in to comment