From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 24 Feb 2024 21:53:18 +0000 (-0700)
Subject: Merge pull request #2342 from triska/curve_doc
X-Git-Tag: v0.9.4~4
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=419623d158ecb66980e9edb6b4d77be12c919469;p=scryer-prolog.git

Merge pull request #2342 from triska/curve_doc

DOC: Add DocLog comments for reasoning about elliptic curves.
---

419623d158ecb66980e9edb6b4d77be12c919469