I’m facing a weird problem with the message ouptut window in coqide and VSCode.
I noticed that Coq is displaying
... instead of actual values in lines that are too long.
This issue can be replicated by interpreting the last line of this code.
Here is a screenshot
Do you think there’s some sort of configurable parameter to address this issue? I haven’t been able to find any in the documentation.
Thanks in advance!