Idris-Bifunctors

Question

Idris-Bifunctors

Opened this issue 7 years ago · 4 comments

clayrat commented 7 years ago

Looks like you're duplicating the work in https://github.com/japesinator/Idris-Bifunctors/

Risto-Stevcev commented 7 years ago

true

Answer 1 · 2017-07-05T12:52:38.000Z

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

Answer 2 · 2017-07-05T12:53:43.000Z

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

Answer 3 · 2017-07-05T12:59:20.000Z

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.