Handle Section constructs (Let, Variable...) - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Handle Section constructs (Let, Variable...) #4

Open Nfsaavedra opened 1 year ago

Nfsaavedra commented 1 year ago

At the moment they are being ignored: https://github.com/sr-lab/coq-lsp-pyclient/blob/a1e11278e7e48d2a1812ae3d9baeb5b8f4f85432/coqlspclient/coq_file.py#L186