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

Choose or write a style guide for Idris code and adopt it #39

Open
yurrriq opened this issue Aug 3, 2017 · 3 comments
Open

Choose or write a style guide for Idris code and adopt it #39

yurrriq opened this issue Aug 3, 2017 · 3 comments
Labels
documentation
Milestone
First ten chapters

Comments

@yurrriq
Copy link
Collaborator

yurrriq commented Aug 3, 2017

e.g. https://github.com/david-christiansen/idris-code-highlighter/blob/master/CONTRIBUTING.md
@clayrat
Copy link
Collaborator

clayrat commented Aug 3, 2017

Looks reasonable except for the explicit implementation, I find it too verbose :)

@yurrriq
Copy link
Collaborator Author

yurrriq commented Aug 3, 2017

I'm happy to concede on that point. Feel free to revert my insertions on implementation in develop or you want.

@yurrriq
Copy link
Collaborator Author

yurrriq commented Aug 3, 2017

Let's make our our style guide then, perhaps forming that one and removing the implementation part.

@yurrriq yurrriq mentioned this issue Aug 3, 2017
Closed
@yurrriq yurrriq added this to the First ten chapters milestone Aug 3, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation
Projects
None yet
Milestone
First ten chapters
Development

No branches or pull requests
2 participants
@clayrat @yurrriq