Hi, what should I put in _CoqProject for coqide to find the dune files?
Adding "-R ./_build/default" to _CoqProject causes coqide to crash/not open the file
Perhaps this is a coq bug todo with parsing underscores?
-R takes two arguments, try
-R ./_build/default MyLib
Ah thanks that worked!
Last updated: Oct 16 2021 at 07:02 UTC