]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1950 from triska/chars_si
authorMark Thom <[email protected]>
Fri, 4 Aug 2023 21:25:42 +0000 (15:25 -0600)
committerGitHub <[email protected]>
Fri, 4 Aug 2023 21:25:42 +0000 (15:25 -0600)
ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer


Trivial merge