-
Notifications
You must be signed in to change notification settings - Fork 106
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
Tutorial Playground #91
Merged
Merged
Changes from 14 commits
Commits
Show all changes
28 commits
Select commit
Hold shift + click to select a range
34733e1
Boilerplate
CodaFi bf016fe
Pre-requisites
CodaFi cadc165
grammarz
CodaFi 429a9f3
Link to the m word
CodaFi 556d9f0
Write an introduction
CodaFi 5c46f40
Add Generator sections
CodaFi aba0b38
Fix some typos
CodaFi 899d36b
Finish email gen and Generator section
CodaFi d5335db
Start Modifier and Randomness section
CodaFi 7bfed2f
Start last section
CodaFi c856007
Add a conclusion
CodaFi 1872a23
We crash Swiftc for reasons now?
CodaFi 5f8bd4a
typos
CodaFi 7d0ecc2
Redo the glue
CodaFi 957d0e2
Reflow
CodaFi 8178261
format
CodaFi 9003a88
a bit of cleanup
CodaFi 7c8eddf
Finish up.
CodaFi 2322a99
Simplify final example
CodaFi 5333f51
Try a better metaphor
CodaFi 5aad047
Add tutorial link in README
CodaFi 8e87fe9
Property Testing Manifesto
CodaFi 3718bca
typos and such
CodaFi afb450b
it's the little things
CodaFi ee59c45
Include arbitrary email modifier
CodaFi 8cc065e
typos
CodaFi 82a5e9f
Get the tests to not crash shit
CodaFi 7cde84d
Final typos
CodaFi File filter
Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
This evil is only temporary.