From: Mark Thom Date: Thu, 11 Jan 2024 18:56:10 +0000 (-0700) Subject: Merge pull request #2276 from triska/hophrase X-Git-Tag: v0.9.4~33 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6fb3b61441309ee9fa0db4ebbee78967ee2186c9;p=scryer-prolog.git Merge pull request #2276 from triska/hophrase ADDED: Support for higher-order non-terminals phrase//[2,3] --- 6fb3b61441309ee9fa0db4ebbee78967ee2186c9