Skip to content

Conversation

mars0i
Copy link
Contributor

@mars0i mars0i commented Jul 29, 2024

I had trouble understanding MkValue in the example Tree definition. The proposed addition after the Tree definition briefly summarize what I learned (for future readers with ignorance like mine), without going into what I thought might be unnecessary detail.

I also added a suggestion and note about Data.Tree.AVL.Map in the "Further reading" section at the end. I feel that AVL.Map satisfies the simplest use cases for the Data.Tree.AVL, so it's worth mentioning here.

(Sorry about the two commits with the same message. I think I did something wrong when I tried to rebase them into one commit. If it bothers anyone, I'll figure out how to fix it.)

Copy link
Contributor

@MatthewDaggitt MatthewDaggitt left a comment

Choose a reason for hiding this comment

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

Thanks, this looks great! Really appreciate the PR. I've got a few small formatting comments, but pretty minor.

@mars0i
Copy link
Contributor Author

mars0i commented Jul 30, 2024

Great--thanks. Will do as soon as I get a moment.

As suggested by @MatthewDaggit.

I also lowercased the initial letter after colon in third new
paragraph.
@MatthewDaggitt
Copy link
Contributor

Great, thanks! Merging in.

@jamesmckinna
Copy link
Contributor

(Sorry for last comment... deleted because getting mixed up with several other PRs 🤦 )

@MatthewDaggitt MatthewDaggitt added this pull request to the merge queue Aug 14, 2024
Merged via the queue into agda:master with commit 84eb71b Aug 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants