]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2187 from triska/term_si
authorMark Thom <[email protected]>
Wed, 29 Nov 2023 20:52:38 +0000 (13:52 -0700)
committerGitHub <[email protected]>
Wed, 29 Nov 2023 20:52:38 +0000 (13:52 -0700)
ADDED: term_si/1, true for terms


Trivial merge