smartparens icon indicating copy to clipboard operation
smartparens copied to clipboard

Published 20 hours ago • verified publisher icon Fuco1

Add configuration for Coq

Open tchajed opened this issue 5 years ago • 1 comments

This is somewhat magical to me but it's copied from Doom Emacs' configuration for OCaml (tuareg-mode) and F# and it seems to work nicely: https://github.com/hlissner/doom-emacs/blob/1ab9f8b99d35a451a06c8278457ddfa58c566186/modules/config/default/config.el#L182.

I also tried (sp-local-pair "(*" "*)") but with that if you type (* you get (**)). It's quite possible that smartparens has this bug currently for OCaml and F#.

tchajed avatar Feb 20 '20 01:02 tchajed

Is Coq in any way related to ML? I used it a couple years ago but as far as I remember it's a completely different thing. So probably a separate config file would be better? Or does it share some setup.

Fuco1 avatar Feb 29 '20 17:02 Fuco1