SignedMathLibrary.dg (5.9 KB) Version 0.2.
This update renames some predicates but the main change is that you can now mix signed and unsigned numbers, with unsigned numbers being promoted to signed numbers.
SignedMathLibrary.dg (5.9 KB) Version 0.2.
This update renames some predicates but the main change is that you can now mix signed and unsigned numbers, with unsigned numbers being promoted to signed numbers.