From: Mark Thom Date: Sat, 25 Feb 2023 18:23:59 +0000 (+0100) Subject: Merge pull request #1743 from triska/rely_on_indexing X-Git-Tag: v0.9.2~176 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7ffb40e0ad6b5ac2ffb84269654e95f99c0dcbf7;p=scryer-prolog.git Merge pull request #1743 from triska/rely_on_indexing rely on first instantiated argument indexing --- 7ffb40e0ad6b5ac2ffb84269654e95f99c0dcbf7