]> Repositorios git - scryer-prolog.git/commit
Merge pull request #2091 from triska/morphing_pexp
authorMark Thom <[email protected]>
Mon, 9 Oct 2023 19:43:25 +0000 (13:43 -0600)
committerGitHub <[email protected]>
Mon, 9 Oct 2023 19:43:25 +0000 (13:43 -0600)
commitb149805b9edbc4d768c5ed9141443402a12e1684
treed72855d4f3335e5507319d27b69e7a2a5b1c845f
parentc6976c0f927fc04a94dd01c3c7cf7df3024436c2
parent99348ec309a5f8099f15b536f34a7c5910ee1a55
Merge pull request #2091 from triska/morphing_pexp

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