Skip to content

Replace globals dependency with numbers#40

Merged
JordanMartinez merged 1 commit intopurescript:masterfrom
JordanMartinez:replaceGlobals
Nov 12, 2020
Merged

Replace globals dependency with numbers#40
JordanMartinez merged 1 commit intopurescript:masterfrom
JordanMartinez:replaceGlobals

Conversation

@JordanMartinez
Copy link
Contributor

@JordanMartinez JordanMartinez commented Nov 12, 2020

@JordanMartinez JordanMartinez merged commit d453043 into purescript:master Nov 12, 2020
@JordanMartinez JordanMartinez deleted the replaceGlobals branch November 12, 2020 14:35
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.

Replace globals dependency with numbers dependency

2 participants