-
Notifications
You must be signed in to change notification settings - Fork 1
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.
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
Templates #5
Conversation
not sure about contributing.md, maybe its not necessary :) |
|
||
## Code style | ||
|
||
[This](https://github.com/emilyriehl/yoneda/blob/master/STYLEGUIDE.md) style guide can be followed. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think we (will) follow that style guide entirely. In particular, we might want to keep the names used in the book as is, to stay closer to it and assist with readability (when reading formalisations and comparing against the book). But we can keep the reference to that style guide for now. Also, see #6.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I will merge, despite the comment above.
Chapter and exercise templates for uniform structure of contributions