Luc-Saccoccio

Trouble with coq_nvim

2

I have some issues with the contours of the preview window of [`coq_nvim`](https://github.com/ms-jpq/coq_nvim)  The same issue happens with [`symbols-outline.nvim`](https://github.com/simrat39/symbols-outline.nvim)  I have the same issue with the color schemes...

I tried using this variant with graphics, I endend up having this error message : ``` ┌─ └───» ocamlfind -toolchain windows ocamlopt -linkpkg -package graphics -package unix atomas.ml -o atomas...

[Proposal] Adding (back ?) chainl

1

Hi ! Is it possible to add the `chainl`, `chainl1`, `chainr`, `chainr1` combinators ? Although `Control.Monad.Combinators.Expr` does exists, it feels overkill to use when there's only one layer to the...