Skip to content

Add chapter on attributes.#31

Draft
bollu wants to merge 3 commits into
leanprover-community:masterfrom
bollu:attributes
Draft

Add chapter on attributes.#31
bollu wants to merge 3 commits into
leanprover-community:masterfrom
bollu:attributes

Conversation

@bollu

@bollu bollu commented Jun 3, 2022

Copy link
Copy Markdown
Collaborator

@arthurpaulino Suggestions on what we want to teach when it comes to attributes would be nice. I haven't used attributes much, so I'm learning as I go along!

@bollu

bollu commented Jul 27, 2022

Copy link
Copy Markdown
Collaborator Author

Superseded by #71

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant