Skip to content

Add global region and MonadST - #26

Merged
garyb merged 1 commit into
masterfrom
global-region
Feb 23, 2020
Merged

garyb merged 1 commit into
masterfrom
global-region

Conversation

@garyb

@garyb garyb commented Feb 22, 2020

Copy link
Copy Markdown
Member

Resolves #19

@garyb garyb added the type: enhancement A new feature or addition. label Feb 22, 2020
@garyb
garyb merged commit 8133841 into master Feb 23, 2020
@garyb
garyb deleted the global-region branch February 23, 2020 15:35
@hdgarrood hdgarrood mentioned this pull request Oct 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement A new feature or addition.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Global region, take two

2 participants