From: Mark Thom Date: Thu, 26 Sep 2019 04:52:11 +0000 (-0600) Subject: Merge pull request #164 from triska/master X-Git-Tag: v0.8.110~41 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=529b664bf38cb1a02e55e77fd2b1a3f1fc3b7098;p=scryer-prolog.git Merge pull request #164 from triska/master ADDED: library(si) for safe type tests. --- 529b664bf38cb1a02e55e77fd2b1a3f1fc3b7098