]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1857 from triska/master
authorMark Thom <[email protected]>
Mon, 3 Jul 2023 20:05:16 +0000 (14:05 -0600)
committerGitHub <[email protected]>
Mon, 3 Jul 2023 20:05:16 +0000 (14:05 -0600)
advertise newly achieved strong syntactic conformance: all current tests pass


Trivial merge