commit: 65d84eadf17a024590cf8a705176aada201cf809

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

Wed Jul 31 12:49:56 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jul 31 12:49:56 2024 +1000
tree: d59f39825f1b34f8b7139c53f768035ff86b5040
parent: afe0b5a01326a99fb18049d29d7f62a5ffc83c15 [diff]

chore: fix binder explicitness in List.map_subset

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

1 file changed

tree: d59f39825f1b34f8b7139c53f768035ff86b5040

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 (documentation source: doc/make/index.md).