Skip to content

Conversation

@mlopes
Copy link
Owner

@mlopes mlopes commented May 2, 2019

Fixes #7

@mlopes mlopes self-assigned this May 2, 2019
@mlopes mlopes requested a review from danielkmariam May 2, 2019 12:20
@mlopes mlopes force-pushed the add-refining-functions branch from 4c85f38 to 64fb578 Compare May 2, 2019 15:19
@mlopes mlopes force-pushed the add-refining-functions branch from 64fb578 to 0acc757 Compare May 2, 2019 15:36
@mlopes mlopes merged commit ec21fff into master May 2, 2019
@mlopes mlopes deleted the add-refining-functions branch May 2, 2019 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add wen.refine auxiliary functions to help users refine numbers

2 participants