Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upReformat all examples for style #5
Conversation
arrdem
added some commits
Jun 5, 2015
arrdem
added some commits
Jun 10, 2015
added a commit
that referenced
this pull request
Jun 11, 2015
arrdem
merged commit e28950f
into
master
Jun 11, 2015
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
arrdem commentedJun 10, 2015
This set of patches touches almost every example, and rewrites them for compliance with the style guide. This means that prompts such as
user=>have been pervasively deleted, printing to stdout and stderr have been commented out and result values have also been commented out. Every example should copy/paste into a REPL and "just work".