]> Repositorios git - scryer-prolog.git/commit
Merge pull request #2204 from mthom/remove_not_as_non_terminal
authorMark Thom <[email protected]>
Mon, 4 Dec 2023 22:49:26 +0000 (15:49 -0700)
committerGitHub <[email protected]>
Mon, 4 Dec 2023 22:49:26 +0000 (15:49 -0700)
commit8665722367b0eebf986e0282a49702f539c0be14
treec253c3caf321ab8ae634f8ab3c3f0df42b0e7c42
parenteddcdaabeffd447a44a95401c95f34238c392bd4
parent9cd762d88a4a32b91db43dea56285c248e399c07
Merge pull request #2204 from mthom/remove_not_as_non_terminal

remove (\+)//1 (#1511)