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

Proof INTERPRETIVE_CONSTANT #596 #771

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Proof INTERPRETIVE_CONSTANT #596 #771

wants to merge 2 commits into from

Conversation

Atknssl
Copy link
Contributor

@Atknssl Atknssl commented Oct 20, 2020

#596 Completely proofed.

@wopian wopian self-requested a review October 20, 2020 17:19
@wopian wopian self-assigned this Oct 20, 2020
@wopian wopian added Status: Review Needed Type: Proof Comanche55 and Luminary99 files labels Oct 20, 2020
@wopian wopian added this to the Luminary099 milestone Oct 20, 2020
@Atknssl
Copy link
Contributor Author

Atknssl commented Oct 20, 2020

@wopian I accidentally commited an unnecessary commit, please ignore it. Sorry for inconvenience.

@wopian wopian linked an issue Oct 25, 2020 that may be closed by this pull request
Proof INTERPRETIVE_CONSTANT #596
Open
@wopian
Copy link
Collaborator

wopian commented Oct 27, 2020

I've added the hacktoberfest-accepted label to ensure your contribution counts towards Hacktoberfest, as I haven't been able to review as many PRs as I had hoped over the past few days during my free time.

PRs are being throughly reviewed from oldest to newest 👍

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

@wopian wopian Awaiting requested review from wopian

Assignees

@wopian wopian

Labels
Status: Review Needed Type: Proof Comanche55 and Luminary99 files
Projects
None yet
Milestone
Luminary099
Development

Successfully merging this pull request may close these issues.

Proof INTERPRETIVE_CONSTANT
2 participants
@Atknssl @wopian