commit: 5bbb2329b782dc5e859b98693fcb6d7c686f6de5

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Fri Apr 18 09:28:20 2025 +0200
committer: GitHub <noreply@github.com>

Fri Apr 18 09:28:20 2025 +0200
tree: 5bab8b7f1032e14db15328c95bc57833eaa80375
parent: 27a7a0a2bdb00e5d562275ff9e8f18ff5b8822d2 [diff]

docs: RArray is now universe-polymorphic

This PR adjusts the RArray docstring to the new realty from #8014.

src/Init/Data/RArray.lean[diff]

1 file changed

tree: 5bab8b7f1032e14db15328c95bc57833eaa80375

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