Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Idris-Bifunctors #1

Open
clayrat opened this issue Jul 5, 2017 · 4 comments
Open

Idris-Bifunctors #1

clayrat opened this issue Jul 5, 2017 · 4 comments

Comments

@clayrat
Copy link

clayrat commented Jul 5, 2017

Looks like you're duplicating the work in https://github.com/japesinator/Idris-Bifunctors/
@Risto-Stevcev
Copy link
Owner

Ugh... darn. Idris needs a package manager badly

@Risto-Stevcev
Copy link
Owner

Well at least I only duplicated Bifunctor, the Compose, Coproduct and Product isn't there

@clayrat
Copy link
Author

clayrat commented Jul 5, 2017

I feel that at the moment foundational things like these (Bifunctors, Comonads, etc) are better off merged into contrib@Idris-Dev. Then, once we get a package manager, some of it could be split off into separate packages.

@Risto-Stevcev
Copy link
Owner

Risto-Stevcev commented Jul 5, 2017 •
edited
Loading

true

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@clayrat @Risto-Stevcev