From: Mark Thom Date: Fri, 6 Oct 2023 21:31:13 +0000 (-0600) Subject: Merge pull request #2080 from triska/reified_slash X-Git-Tag: remove~47 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c5c7c1913a7b639ce67ff0c47295cfb70c5e392c;p=scryer-prolog.git Merge pull request #2080 from triska/reified_slash Corrections to reified (/)/2 --- c5c7c1913a7b639ce67ff0c47295cfb70c5e392c