commit: 7dfa30805f72038f29dd0c95f2445f0b25940330

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

Wed Jun 18 11:36:29 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 18 12:21:59 2025 +1000
tree: 6b9c52d35f07f4bd8e174608b96a1a561fc0fd5b
parent: e129e75e661d066360ee8744aeb8ab176cbc9ad7 [diff]

feat: grind annotations for Function.(un)curry

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

1 file changed

tree: 6b9c52d35f07f4bd8e174608b96a1a561fc0fd5b

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.