]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #367 from triska/master
authorMark Thom <[email protected]>
Sun, 19 Apr 2020 17:29:09 +0000 (14:29 -0300)
committerGitHub <[email protected]>
Sun, 19 Apr 2020 17:29:09 +0000 (14:29 -0300)
ADDED: library(time), providing time/1 for benchmarking


Trivial merge