From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 1 Aug 2025 05:10:32 +0000 (-0700)
Subject: Merge pull request #2961 from rotu/patch-5
X-Git-Tag: v0.10.0~36
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f524062e5bd40e12f9877193416caad5bf151c55;p=scryer-prolog.git

Merge pull request #2961 from rotu/patch-5

Document `when/2` Condition
---

f524062e5bd40e12f9877193416caad5bf151c55