I am working on a fork of the book Functional Programming in Lean, with Verso as the document generator. However, when it comes across URL with parentheses, i.e.
Instance
The output would be Instance) and the link would be https://en.wikipedia.org/wiki/Instance_(computer_science.
As my end user perspective, the problem would belongs to Verso. But I used LLM to read the whole repository, and it told me it was the upstream Lean 4 parser's fault. I would just raise this issue here in case my initial assumption was correct. Hopefully this could be fixed soon!
I am working on a fork of the book Functional Programming in Lean, with Verso as the document generator. However, when it comes across URL with parentheses, i.e.
Instance
The output would be
Instance)and the link would behttps://en.wikipedia.org/wiki/Instance_(computer_science.As my end user perspective, the problem would belongs to Verso. But I used LLM to read the whole repository, and it told me it was the upstream Lean 4 parser's fault. I would just raise this issue here in case my initial assumption was correct. Hopefully this could be fixed soon!