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

Dafny cheatsheet should be moved into docs #2475

Closed
robin-aws opened this issue Jul 22, 2022 · 2 comments · Fixed by #3084
Closed

Dafny cheatsheet should be moved into docs #2475

robin-aws opened this issue Jul 22, 2022 · 2 comments · Fixed by #3084
Assignees
@davidcok
Labels
part: documentation Dafny's reference manual, tutorial, and other materials

Comments

@robin-aws
Copy link
Member

We have this link to a Google doc from our README: https://docs.google.com/document/d/1kz5_yqzhrEyXII96eCF1YoHZhnb_6dzv-K3u79bMMis/edit?pref=2&pli=1#

It's a blind spot in our documentation maintenance, and the style is inconsistent with the rest of our documentation. It also has a dead link to rise4fun.com that needs to be removed.
@robin-aws robin-aws added the part: documentation Dafny's reference manual, tutorial, and other materials label Jul 22, 2022
@robin-aws
Copy link
Member Author

@davidcok Do you have access to edit that doc by chance?

@davidcok
Copy link
Collaborator

I have requested edit access. I don't remember who authored it, but id does date back ~2 years at least.

@davidcok davidcok self-assigned this Sep 20, 2022
davidcok pushed a commit to davidcok/dafny that referenced this issue Nov 20, 2022
Moving cheatsheet per dafny-lang#2475
fa154f0
@davidcok davidcok mentioned this issue Nov 20, 2022
Merged
davidcok added a commit that referenced this issue Nov 22, 2022
@davidcok
#2475 - moving cheatsheet into docs (#3084)
175bf86 
Fixes #2475

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

Co-authored-by: davidcok <[email protected]>
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@davidcok davidcok

Labels
part: documentation Dafny's reference manual, tutorial, and other materials
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

#2475 - moving cheatsheet into docs davidcok/dafny
2 participants
@davidcok @robin-aws