~robsimmons/Dusa#17: 
Matching against minus doesn't work

This doesn't work and it should:

x N :- y (minus N 1).
Status
RESOLVED DUPLICATE
Submitter
~robsimmons
Assigned to
No-one
Submitted
11 months ago
Updated
5 months ago
Labels
No labels applied.

~robsimmons REPORTED DUPLICATE 5 months ago

https://github.com/users/robsimmons/projects/1/views/1?pane=issue&itemId=66606911

Register here or Log in to comment, or comment via email.