cha icon indicating copy to clipboard operation
cha copied to clipboard

Published 20 hours ago • verified publisher icon thsutton

resultEvidence should fail better

Open thsutton opened this issue 8 years ago • 0 comments

Change the type of resultEvidence (the function/s which combine the evidence for subgoals of a result into evidence for the original goal) so that it can fail without raising exceptions.

thsutton avatar Apr 30 '16 05:04 thsutton