From: Mark Thom Date: Wed, 11 Jan 2023 16:41:14 +0000 (+0100) Subject: Merge pull request #1685 from triska/reify_sign X-Git-Tag: v0.9.2~238 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=84583da5b84fd3aeb0334cabcd5016c55bb90ffa;p=scryer-prolog.git Merge pull request #1685 from triska/reify_sign ADDED: sign/1 is now reifiable. --- 84583da5b84fd3aeb0334cabcd5016c55bb90ffa