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.

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

[coq/en] New Coq tutorial #3759

Merged
merged 1 commit into from Nov 19, 2019
Merged

[coq/en] New Coq tutorial #3759

merged 1 commit into from Nov 19, 2019

Conversation

@philzook58
Copy link
Contributor

philzook58 commented Nov 4, 2019

  • I solemnly swear that this is all original content of which I am the original author
  • Pull request title is prepended with [language/lang-code]
  • Pull request touches only one file (or a set of logically related files with similar changes made)
  • Content changes are aimed at intermediate to experienced programmers (this is a poor format for explaining fundamental programming concepts)
  • If you've changed any part of the YAML Frontmatter, make sure it is formatted according to CONTRIBUTING.md
    • Yes, I have double-checked quotes and field names!
@philzook58

This comment has been minimized.

Copy link
Contributor Author

philzook58 commented Nov 7, 2019

Fulfills #3161 btw

@XVilka

This comment has been minimized.

Copy link

XVilka commented Nov 12, 2019

Maybe it makes sense to squash into one commit?

@philzook58 philzook58 force-pushed the philzook58:master branch from c15215c to dca0023 Nov 12, 2019
@philzook58

This comment has been minimized.

Copy link
Contributor Author

philzook58 commented Nov 12, 2019

Should be better now.

@philzook58 philzook58 force-pushed the philzook58:master branch from dca0023 to e81c081 Nov 12, 2019
@XVilka

This comment has been minimized.

Copy link

XVilka commented Nov 19, 2019

@divayprakash @adambard any reason not to merge this?

@adambard adambard merged commit 4653df7 into adambard:master Nov 19, 2019
1 check passed
1 check passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
@adambard

This comment has been minimized.

Copy link
Owner

adambard commented Nov 19, 2019

Nope, looks good to me. Thanks!

@philzook58

This comment has been minimized.

Copy link
Contributor Author

philzook58 commented Nov 19, 2019

Nice! Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
4 participants
You can’t perform that action at this time.