commit: 8475ec7e362f3f80809973fcdda410388f72b42b

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Sun Dec 17 07:26:16 2023 +1100
committer: GitHub <noreply@github.com>

Sat Dec 16 20:26:16 2023 +0000
tree: 73d71be4f7c2ac45276fe3c1f41691ac87ef0898
parent: 4497aba1a985619023adf0e1c655e769b12735e7 [diff]

fix: reference implementation ByteArray.copySlice (#2967)

Fixes reference implementation of `ByteArray.copySlice`, as reported
https://github.com/leanprover/lean4/issues/2966.

Adds tests.

---------

Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>

3 files changed

tree: 73d71be4f7c2ac45276fe3c1f41691ac87ef0898

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.