Skip to content

Add global region and MonadST#26

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

Add global region and MonadST#26
garyb merged 1 commit into
masterfrom
global-region

Conversation

@garyb
Copy link
Copy Markdown
Member

@garyb garyb commented Feb 22, 2020

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