commit: 331fc82a02c722cb535a37257b4bb69ea234104c

[log]
author: Kim Morrison <kim@tqft.net>

Fri Aug 08 06:07:30 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Fri Aug 08 06:07:30 2025 +0200
tree: 80def9b28c74dc890a0097f53e1c9a8f1da3822b
parent: d6bc78dcb888ec28d7e369a34821fd6378a0136d [diff]

chore: @[expose] List.mapIdxM

src/Init/Data/List/MapIdx.lean[diff]

1 file changed

tree: 80def9b28c74dc890a0097f53e1c9a8f1da3822b

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.