Skip to content
This repository has been archived by the owner on Jun 4, 2024. It is now read-only.

Reorganize directory structure #44

Merged
merged 1 commit into from
Apr 20, 2018

Conversation

pauldraper
Copy link
Contributor

Currently based off #43 .

Comments welcome.

I recommend browsing the tree.

Copy link
Member

@andyscott andyscott left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Let's cherry pick the re-org commit on top of master once the other required PR is merged.

@pauldraper pauldraper merged commit 3970b02 into higherkindness:master Apr 20, 2018
@pauldraper pauldraper mentioned this pull request Oct 27, 2018
@borkaehw borkaehw deleted the pauldraper-org branch December 4, 2019 17:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants