From: Mark Thom Date: Fri, 5 May 2023 03:25:16 +0000 (-0600) Subject: Merge pull request #1801 from triska/foldl X-Git-Tag: v0.9.2~139 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c1218fc98688a397080ec41d6ba57ef5e70a05e1;p=scryer-prolog.git Merge pull request #1801 from triska/foldl rely on first instantiated argument indexing in the definitions of foldl/N --- c1218fc98688a397080ec41d6ba57ef5e70a05e1