]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1207 from triska/semi-deterministic
authorMark Thom <[email protected]>
Wed, 12 Jan 2022 22:30:24 +0000 (15:30 -0700)
committerGitHub <[email protected]>
Wed, 12 Jan 2022 22:30:24 +0000 (15:30 -0700)
deterministic --> semi-deterministic


Trivial merge