From: Mark Thom Date: Sun, 30 Jan 2022 18:30:16 +0000 (-0700) Subject: Merge pull request #1257 from mthom/rebis-dev_improved-length X-Git-Tag: v0.9.0^2~37 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=835345b89e9cabf382e3177147c8bd739d621257;p=scryer-prolog.git Merge pull request #1257 from mthom/rebis-dev_improved-length Improved length/2 and arg/3 range checking --- 835345b89e9cabf382e3177147c8bd739d621257