commit: 334e6989469fc574ad79fa41e1d66ec7dd8fc1ed

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed Apr 03 14:51:13 2024 +0200
committer: Henrik Böving <hargonix@gmail.com>

Thu Apr 04 10:16:40 2024 +0200
tree: 4e7ccb4a1647cc94e45ef28fcb12fc9e1212a4b5
parent: f3121b0427917314224adff3455ab41ed0691097 [diff]

perf: ensure linearity in Parsec.many*Core

Inlined the orElse combinator into Parsec.many*Core in order to ensure
linearity on the accumulator.

src/Lean/Data/Parsec.lean[diff]

1 file changed

tree: 4e7ccb4a1647cc94e45ef28fcb12fc9e1212a4b5

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.