From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 28 Oct 2023 20:48:10 +0000 (-0600)
Subject: Merge pull request #2140 from aarroyoc/rename-to-upper
X-Git-Tag: remove~4
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=469d2bd1043c1745ecc1da08377d86fb67305d6f;p=scryer-prolog.git

Merge pull request #2140 from aarroyoc/rename-to-upper

Rename `to_upper` to `upper` and `to_lower` to `lower`
---

469d2bd1043c1745ecc1da08377d86fb67305d6f