Exponential function support

Issue #800 new
Bart Bogaerts created an issue

exponential function is not yet supported completely. Can be witnessed by failing test /home/bartb/software/idp/tests/definitionWithXSBtests/twovalued_opens/exponential.idp

Comments (2)

  1. Log in to comment