From: Mark Thom Date: Thu, 26 Jan 2023 01:02:12 +0000 (+0100) Subject: Merge pull request #1712 from triska/lambda_doc X-Git-Tag: v0.9.2~214 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3c08eba55980b78e47c554b7a5b4aa90966af1eb;p=scryer-prolog.git Merge pull request #1712 from triska/lambda_doc DOC: convert code samples in library(lambda) to DocLog format --- 3c08eba55980b78e47c554b7a5b4aa90966af1eb