commit: 6ccf927cff9fe658e3553ced281c822f9c38af01

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

Wed Jun 05 18:35:10 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 05 18:35:10 2024 +1000
tree: 15a6a2816c5c3f1a30b2bf2f43458f3f5f419a72
parent: bba5d25423aac649d1a7e2aaa0fda3929c74db7b [diff]

rename append_nil to append_empty

src/Init/Data/String/Basic.lean[diff]

1 file changed

tree: 15a6a2816c5c3f1a30b2bf2f43458f3f5f419a72

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).