Skip to content
This repository was archived by the owner on Oct 4, 2020. It is now read-only.

Remove Data.Graph #13

Merged
merged 1 commit into from
Oct 30, 2014
Merged

Remove Data.Graph #13

merged 1 commit into from
Oct 30, 2014

Conversation

@garyb
Copy link
Member

@garyb garyb commented Oct 30, 2014

Extracted Graph here: https://github.com/purescript/purescript-graphs It currently has invalid dependencies until this is merged and then released as v0.1.0

paf31 added a commit that referenced this pull request Oct 30, 2014
@paf31
Merge pull request #13 from purescript-contrib/extract-graph
4ffbca2 
Remove Data.Graph
@paf31 paf31 merged commit 4ffbca2 into master Oct 30, 2014
@paf31 paf31 deleted the extract-graph branch October 30, 2014 15:17
@paf31
Copy link
Contributor

paf31 commented Oct 30, 2014

Cool, thanks.

@garyb
Copy link
Member Author

garyb commented Oct 30, 2014

Do we want to do the same with Set? At the moment it's just using Map for the implementation, so the split is a little artificial, but I guess it won't necessarily always be that way.

@paf31
Copy link
Contributor

paf31 commented Oct 30, 2014

Yeah, I think so.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@garyb @paf31