Changlin Li

@Gabriel439 Yep you've got it. The only added thing is that you probably want to be able to turn on some heuristics filters because for for large, complex configurations, there's...

Ah I totally forgot about that page; sure I think a link to it in some of the Scaladocs might make sense. I'll probably whip up a PR for that...

Why not follow what Linear Haskell does here and add an additional `Ur` argument? ``` -- This is the same thing as Control.Monad.Identity, but makes it clearer what -- the...

@michaelmesser as @buzden points out top-level functions marked with linear multiplicity have their own problems. Are there issues with just keeping both arrays open until the very end? An alternative...

FWIW I'm pretty sure the evaluation here is "accidental" in the sense that what's being forced is ultimately the `toString` method rather than the parsing itself.

@tomjaguarpaw I've been following Opaleye with interest and am very happy that you've been able to get approval to release the code to the community. I'll definitely be using it...

Yep, that's right. I miswrote the comment. I've edited the original.

Apologies for the lateness of my reply; things got a bit busy on my end. Unfortunately, it looks like I'm still running into problems, I'll have some examples up when...

Could we just basically copy over this [blog post](https://typelevel.org/blog/2013/11/17/discipline.html) into an `sbt-microsite` (like a lot of the Typelevel ecosystem) as a starting point? If a maintainer is willing to take...

Searching for just bang/exclamation mark (i.e. '!') also fails. Surprisingly, !! does not.