Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

finish move to higherkindness #18

Closed
2 tasks done
pepegar opened this issue Oct 22, 2018 · 0 comments
Closed
2 tasks done

finish move to higherkindness #18

pepegar opened this issue Oct 22, 2018 · 0 comments
Assignees
@JesusMtnez

Comments

@pepegar
Copy link
Member

pepegar commented Oct 22, 2018 •
edited by JesusMtnez

We need to move the following:
@pepegar pepegar mentioned this issue Nov 14, 2018
Merged
@JesusMtnez JesusMtnez self-assigned this Nov 15, 2018
@JesusMtnez JesusMtnez mentioned this issue Nov 17, 2018
Merged
JesusMtnez added a commit that referenced this issue Nov 19, 2018
@JesusMtnez
Migrate freestyle to mu (#26)
eb5b966 
Move all references and names related to freestyle to mu.

Partially tackle #18
@L-Lavigne L-Lavigne mentioned this issue Nov 28, 2018
Closed
@JesusMtnez JesusMtnez mentioned this issue Dec 10, 2018
Merged
JesusMtnez added a commit that referenced this issue Dec 12, 2018
@JesusMtnez
Move under higherkindness package (#46)
b8ee3ab 
* Move every package under higherkindness
* Update docs
* Update README properly
Close #18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JesusMtnez JesusMtnez

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pepegar @JesusMtnez