Skip to content

Add pow builtin #92

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
Closed
alanjds opened this issue Oct 6, 2018 · 3 comments
Closed

Add pow builtin #92

alanjds opened this issue Oct 6, 2018 · 3 comments
Labels
imported PR Pull Request imported from google/grumpy

Comments

@alanjds
Copy link

alanjds commented Oct 6, 2018 •
edited
Loading

google#373 opened on Jul 30, 2017 by @aisk • Changes requested
@alanjds
Copy link
Author

alanjds commented Oct 6, 2018

Comment by aisk
Thursday Sep 07, 2017 at 16:33 GMT

@trotterdylan Ready for review!

@alanjds alanjds added the imported PR Pull Request imported from google/grumpy label Oct 6, 2018
This was referenced Oct 6, 2018
Closed
Merged
@aisk
Copy link

aisk commented Oct 27, 2019

Feels happy to see grumpy is back to life! And looks like my PR is merged, so this could be closed?

@alanjds
Copy link
Author

alanjds commented Oct 27, 2019

Sure!

We still need more hands, but at least it's not abandoned :)

@alanjds alanjds closed this as completed Oct 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
imported PR Pull Request imported from google/grumpy
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@alanjds @aisk