From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 13 Sep 2023 16:41:34 +0000 (-0600)
Subject: Merge pull request #2017 from cmpute/master
X-Git-Tag: remove~98
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3e14ef634f673a9f75126811a2085dc9d9f66b7f;p=scryer-prolog.git

Merge pull request #2017 from cmpute/master

Upgrade dashu and make the related code more idomatic.
---

3e14ef634f673a9f75126811a2085dc9d9f66b7f