-
Notifications
You must be signed in to change notification settings - Fork 17
Pull requests: purescript/purescript-numbers
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Prepare v9.0.0 release (1st PS 0.15.0-compatible release)
purs-0.15
A reminder to address this issue or merge this PR before we release PureScript v0.15.0
#22
by JordanMartinez
was merged Apr 27, 2022
Loading…
4 of 6 tasks
Update to v0.15.0
purs-0.15
A reminder to address this issue or merge this PR before we release PureScript v0.15.0
type: breaking change
A change that requires a major version bump.
#21
by JordanMartinez
was merged Mar 14, 2022
Loading…
2 of 4 tasks
Math migration
purs-0.15
A reminder to address this issue or merge this PR before we release PureScript v0.15.0
type: breaking change
A change that requires a major version bump.
#18
by JamieBallingall
was merged Mar 25, 2022
Loading…
4 tasks done
Port
Number-related code from deprecated purescript-globals into this repo
#12
by JordanMartinez
was merged Nov 12, 2020
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.