From: Mark Thom Date: Tue, 4 Jul 2023 21:11:59 +0000 (-0600) Subject: Merge pull request #1861 from aarroyoc/fix-1855 X-Git-Tag: v0.9.2~92 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d2db66b9f79ebd8feb943b348ba1696c6cda25fc;p=scryer-prolog.git Merge pull request #1861 from aarroyoc/fix-1855 Allow comparisons with stream terms --- d2db66b9f79ebd8feb943b348ba1696c6cda25fc