These are chat archives for nrinaudo/kantan.csv

13th
Sep 2018
Andrew Roberts
@aroberts
Sep 13 2018 21:28
There’s no coproduct HeaderEncoder in csv-generic, is there?
I’m reading though the code and not seeing it
(also, HeaderEncoder.header doesn’t have an instance of the coproduct to match against)