Skip to content

feat: compare List.ofFn and Array.ofFn#956

Merged
mattrobball merged 10 commits intomainfrom
ofFn
Sep 26, 2024
Merged

feat: compare List.ofFn and Array.ofFn#956
mattrobball merged 10 commits intomainfrom
ofFn

Conversation

@kim-em
Copy link
Copy Markdown
Collaborator

@kim-em kim-em commented Sep 24, 2024

No description provided.

Comment thread Batteries/Data/Array/OfFn.lean Outdated
Comment thread Batteries/Data/List/OfFn.lean Outdated
@fgdorais fgdorais mentioned this pull request Sep 25, 2024
@fgdorais fgdorais added the awaiting-author Waiting for PR author to address issues label Sep 25, 2024
kim-em and others added 3 commits September 26, 2024 11:01
Co-authored-by: Matthew Robert Ballard <100034030+mattrobball@users.noreply.github.com>
@kim-em kim-em added awaiting-review This PR is ready for review; the author thinks it is ready to be merged. and removed awaiting-author Waiting for PR author to address issues labels Sep 26, 2024
Copy link
Copy Markdown
Collaborator

@mattrobball mattrobball left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very nice!

@mattrobball mattrobball added this pull request to the merge queue Sep 26, 2024
Merged via the queue into main with commit 98f2215 Sep 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting-review This PR is ready for review; the author thinks it is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants