02:21 <masterbuilder> Is it possible to have Menhir report benign conflicts? In the manual it says that for the proof of completeness of the parser to go through when using the Coq backend it must be completely free of conflicts, even benign ones, but it seems like it might be kind of hard to track them down if Menhir doesn't report them

23:40 <discocaml> <alurm> advent of code is really fun in ocaml. second part of day 11 was fun