commit: f3fc1d1a08321d69a7dd10dbd82ea25dbf757408

[log]
author: Joe Hendrix <joe@lean-fro.org>

Wed Jan 31 13:52:01 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Jan 31 19:06:23 2024 -0800
tree: 37591ade8ccd3dfc32897d58172540e5b7799af1
parent: 5f59d7f7b4b2f15a2af2296a3dbc5ff572686de6 [diff]

feat: List.toArray def equal to Array.mk

src/Init/Core.lean[diff]
src/Init/Data/Array/BasicAux.lean[diff]
src/Init/Data/List/Basic.lean[diff]
src/Init/Prelude.lean[diff]
tests/lean/csimpAttrToArray.lean[Added - diff]
tests/lean/csimpAttrToArray.lean.expected.out[Added - diff]

6 files changed

tree: 37591ade8ccd3dfc32897d58172540e5b7799af1

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.