]> Repositorios git - scryer-prolog.git/commitdiff
projects / scryer-prolog.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 462097d 495df88)
Merge pull request #1816 from notoria/clpz
authorMark Thom <[email protected]>
Sat, 27 May 2023 17:07:50 +0000 (11:07 -0600)
committerGitHub <[email protected]>
Sat, 27 May 2023 17:07:50 +0000 (11:07 -0600)
Small fixes for `CLP(ℤ)`


Trivial merge
FORK: A modern Prolog implementation written mostly in Rust