Lars Hupel

@steinybot OK, the problem wasn't that kind-projector was triggered, but because there are some type errors underneath that produced a misleading error message. After applying these changes to commit steinybot/scala-hedgehog@5933a2b9d2141a5636516d7d96019d9ce25d2014:...

Great to hear! Can we close this issue, then?

Good point. I'll leave it open.

PRs welcome.

* [x] libisabelle – larsrh/libisabelle@453a5e42386476da0856f65656681527fca05df7

With the current situation I'm a proponent of keeping 2.10 compatibility, for the reason @fommil alluded to. As soon as the SBT 1.0.x ecosystem is mature enough, I think it's...

In general this is a great idea. I don't think this should go on this wiki, but probably on the about site on typelevel.org. One more bit: The `typelevel.org` domain...

Yes, that's fine with me. If you have admin access in the `scalaz` organization, I can make you temporary admin on this repository so that you can transfer it.

Pull requests welcome :smile:

Is that still a problem? My feed reader just displays the code blocks as verbatim blocks without highlighting.