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

Adding Coq hello world program #1423

Merged
merged 5 commits into from
Oct 31, 2022
Merged

Adding Coq hello world program #1423

merged 5 commits into from
Oct 31, 2022

Conversation

pierrbt
Copy link
Contributor

@pierrbt pierrbt commented Oct 28, 2022 •
edited
Loading

Adding a language

  • The code displays "Hello World" (tio.run may help for testing)
  • I have updated the readme to include the new language
  • I have incremented the language count in the readme
  • I have no association with the language
  • There are no copyright issues with this code
  • The language has not been added prior to this pull request

Link to programming language:

https://coq.inria.fr/

@pierrbt pierrbt mentioned this pull request Oct 28, 2022
Closed
@pierrbt
Copy link
Contributor Author

pierrbt commented Oct 29, 2022

The program also asks the user his name but we can remove it if you prefer

Richienb
Richienb requested changes Oct 29, 2022
View reviewed changes
Copy link
Collaborator

@Richienb Richienb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Only a single Hello World example should be in the file

MrBrain295
MrBrain295 requested changes Oct 29, 2022
View reviewed changes
Copy link
Collaborator

@MrBrain295 MrBrain295 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It needs to print “Hello World” and do nothing else.

@pierrbt
Copy link
Contributor Author

pierrbt commented Oct 29, 2022 •
edited
Loading

Ok i'll modify it when i get some time

@pierrbt pierrbt requested review from Richienb and MrBrain295 and removed request for Richienb October 30, 2022 23:54
@pierrbt
Copy link
Contributor Author

pierrbt commented Oct 30, 2022

I removed all the useless things and update the langages counter

pierrbt
pierrbt commented Oct 30, 2022
View reviewed changes
Copy link
Contributor Author

@pierrbt pierrbt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I removed all the useless things and updated the langages counter.

@pierrbt pierrbt requested review from Richienb and removed request for MrBrain295 October 30, 2022 23:56
pierrbt
pierrbt commented Oct 30, 2022
View reviewed changes
Copy link
Contributor Author

@pierrbt pierrbt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I removed all the useless things and updated the langages counter.

MrBrain295
MrBrain295 reviewed Oct 31, 2022
View reviewed changes
c/Coq.v Outdated Show resolved Hide resolved
@MrBrain295 MrBrain295 merged commit f92f2fd into leachim6:main Oct 31, 2022
@MrBrain295
Copy link
Collaborator

Forgot to rename the PR 😬.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MrBrain295 MrBrain295 MrBrain295 approved these changes

@Richienb Richienb Awaiting requested review from Richienb

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@pierrbt @MrBrain295 @Richienb