search

typelevel / general

Repository for general Typelevel information, activity and issues
19 stars 8 forks source link

Submitting Paiges for Typelevel membership #70

Closed non closed 7 years ago

non commented 7 years ago

We're getting ready to publish Paiges and were hoping it would be considered as a Typelevel incubator project. Here's a link to the project:

https://github.com/johnynek/paiges

Basically, it's a way to pretty-print documents based on Wadler's A Prettier Printer paper, with a few novel extensions. It provides an immutable Doc type along with combinators to build up documents which can be rendered at different widths.

We haven't released yet and would love to put this in the org.typelevel namespace before our first release.

non commented 7 years ago

Follow-up details:

johnynek commented 7 years ago

+1 would be a dream come true.

tpolecat commented 7 years ago

I have been staring down a pretty-printer-shaped yak for a while now so this suits me just fine. 👍

larsrh commented 7 years ago

Sounds good to me! Do you want to move to the GitHub organisation or just use the group id for publishing?

johnynek commented 7 years ago

I'd rather do both, but definitely use the group id. If for some reason moving has some issue I don't see.

What is the timeline for when we can publish? I'd like to publish soon. On Fri, Apr 14, 2017 at 05:08 Lars Hupel notifications@github.com wrote:

Sounds good to me! Do you want to move to the GitHub organisation or just use the group id for publishing?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/typelevel/general/issues/70#issuecomment-294143364, or mute the thread https://github.com/notifications/unsubscribe-auth/AAEJdlHa4WPy4VHvaB5fKGwGMDv6O5f1ks5rv2G-gaJpZM4M6ovh .

larsrh commented 7 years ago

I'd be up for both too. On the phone right now, I'll post some instructions tomorrow. Timeline can be next week, I guess?

On 14 April 2017 16:07:44 CEST, "P. Oscar Boykin" notifications@github.com wrote:

I'd rather do both, but definitely use the group id. If for some reason moving has some issue I don't see.

What is the timeline for when we can publish? I'd like to publish soon. On Fri, Apr 14, 2017 at 05:08 Lars Hupel notifications@github.com wrote:

Sounds good to me! Do you want to move to the GitHub organisation or just use the group id for publishing?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub

https://github.com/typelevel/general/issues/70#issuecomment-294143364, or mute the thread

https://github.com/notifications/unsubscribe-auth/AAEJdlHa4WPy4VHvaB5fKGwGMDv6O5f1ks5rv2G-gaJpZM4M6ovh .

-- You are receiving this because you commented. Reply to this email directly or view it on GitHub: https://github.com/typelevel/general/issues/70#issuecomment-294159467

larsrh commented 7 years ago
  1. Please post on this issue, similarly to the previous requesters there.
  2. I've invited you as a temp admin on the organisation so that you can transfer the repository here.

Welcome! 🎉

johnynek commented 7 years ago

@larsrh thanks! done:

https://github.com/typelevel/paiges

cc @non

larsrh commented 7 years ago

@johnynek OK, you're now admin of that repository and as such may add collaborators as you like. (@non has admin access to @typelevel, so you don't need to add him)

Final step: please send a pull request to add the project to the website.