From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 9 Oct 2023 19:43:25 +0000 (-0600)
Subject: Merge pull request #2091 from triska/morphing_pexp
X-Git-Tag: remove~41
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b149805b9edbc4d768c5ed9141443402a12e1684;p=scryer-prolog.git

Merge pull request #2091 from triska/morphing_pexp

ENHANCED: Omit projection of morphed (^)/2 in disentailed constraints.
---

b149805b9edbc4d768c5ed9141443402a12e1684