coq-serapi icon indicating copy to clipboard operation
coq-serapi copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

[serapi] Support for low-level evar information.

Open ejgallego opened this issue 2 years ago • 0 comments

Fixes ejgallego/coq-serapi#20

This is still experimental, in particular we should maybe provide a better support for handling ejgallego/coq-lsp#332.

ejgallego avatar Sep 21 '21 19:09 ejgallego