Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

doc: add examples to Std.Data.HashMap.Init docs #725

Merged
merged 8 commits into from
Apr 14, 2024
Merged

doc: add examples to Std.Data.HashMap.Init docs #725

merged 8 commits into from
Apr 14, 2024

Conversation

austinletson
Copy link
Contributor

Create usage examples in Std.Data.HashMap.Init similar to Std.Data.List.Basic

Closes #469

@austinletson
Copy link
Contributor Author

awaiting-review

@github-actions github-actions bot added the awaiting-review This PR is ready for review; the author thinks it is ready to be merged. label Apr 9, 2024
@austinletson austinletson marked this pull request as ready for review April 10, 2024 13:47
@austinletson
Copy link
Contributor Author

Marked as ready for review as my initial questions were answered. Open to any general feedback

@austinletson @digama0
Apply suggestions from code review
7017fcf 
docs: improvements to Std.HashMap doc examples

Co-authored-by: Mario Carneiro <di.gama@gmail.com>
@austinletson austinletson mentioned this pull request Apr 10, 2024
Open
@digama0 digama0 merged commit 59e9660 into leanprover-community:main Apr 14, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@digama0 digama0 digama0 left review comments

Assignees
No one assigned
Labels
awaiting-review This PR is ready for review; the author thinks it is ready to be merged.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Usage examples for HashMap.lean
2 participants
@austinletson @digama0