Andreas Abel

@qnikst : QuickCheck tests would be great here!

Frankly, I am a bit uneasy with the change request, because the package prominently states that it implements RFC 4180: https://github.com/haskell-hvr/cassava/blob/5a410c9b423da4e51e591cca6571bed536aa9ca5/cassava.cabal#L7-L9 If we should deviate from RFC 4180, then only...

> I think adding convenience functions for taking a ByteString and returning `Vector (Either String a)`, Yeah, that is thinkable. The current parser (e.g. for without header), https://github.com/haskell-hvr/cassava/blob/c821c8366ac4ce4ee3929e315ba37e694ad56f04/src/Data/Csv/Parser.hs#L69-L75 uses the...

Let's leave it open, maybe others are interested.

Inspired by Jeremy's tutorial I tried the example of renaming for intrinsically typed lambda calculus. ```lean inductive ty | base | arr (a b : ty) def cxt := list...

I made a revision on hackage: https://hackage.haskell.org/package/microlens-th-0.4.3.10/revisions/, relaxing the `template-haskell` bound. So, there is no need for a re-release at this point.

> Looks good, thanks for fixing the CI badges too. I'm just curious about the haddock issue, is that a known issue for cabal haddock on GHC 8.2.2? I didn't...

Ping. (I am a new maintainer and am looking over the open PRs.) What is the status of this PR? Still interested? What is the progress with the TODOs?

Happy new year, Ola! And, did this PR make it onto the list of your new year resolutions? :-)

> Let me repeat my old request to have a way to omit some built-in lexical elements. This is https://github.com/BNFC/bnfc/issues/302#issuecomment-720151556, I suppose.