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

Fix typos in documentation #535

Merged
merged 2 commits into from Jan 6, 2020
Merged

Conversation

@leonardoalt
Copy link

leonardoalt commented Dec 24, 2019

No description provided.

~out_1 65303172752238645975888084098459749904
~out_0 263561599766550617289250058199814760685

This comment has been minimized.

Copy link
@leonardoalt

leonardoalt Dec 24, 2019

Author

This is the order I got when running the command.

This comment has been minimized.

Copy link
@Schaeff

Schaeff Dec 27, 2019

Member

Interesting. We need to investigate the cause of this

This comment has been minimized.

Copy link
@leonardoalt

leonardoalt Dec 28, 2019

Author

Do you get the original doc version if you run it? I can remove this change for now while we investigate.

@leonardoalt leonardoalt force-pushed the leonardoalt:fix_docs_typos branch from 319b6ce to 1138fe3 Dec 24, 2019
@@ -38,10 +38,10 @@ from "./path/to/my/module" import main as module
Note that this legacy method is likely to be become deprecated, so it is recommended to use the preferred way instead.
### Symbols

Two type of symbols can be imported
Two type of symbols can be imported:

This comment has been minimized.

Copy link
@Schaeff

Schaeff Dec 27, 2019

Member
Suggested change
Two type of symbols can be imported:
Two types of symbol can be imported:

is this correct english

This comment has been minimized.

Copy link
@leonardoalt

This comment has been minimized.

Copy link
@Schaeff

Schaeff Dec 30, 2019

Member

fair enough

Suggested change
Two type of symbols can be imported:
Two types of symbols can be imported:

This comment has been minimized.

Copy link
@leonardoalt

leonardoalt Dec 30, 2019

Author

That's how it is right now

@leonardoalt leonardoalt force-pushed the leonardoalt:fix_docs_typos branch from 1138fe3 to 616b05a Dec 28, 2019
@Schaeff
Schaeff approved these changes Jan 6, 2020
Copy link
Member

Schaeff left a comment

Thanks!

@Schaeff Schaeff changed the base branch from master to develop Jan 6, 2020
@Schaeff Schaeff merged commit e548a90 into Zokrates:develop Jan 6, 2020
3 checks passed
3 checks passed
ci/circleci: build Your tests passed on CircleCI!
Details
ci/circleci: integration_test Your tests passed on CircleCI!
Details
ci/circleci: test Your tests passed on CircleCI!
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.