search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
143 stars 31 forks source link

[layout engine] Move Coq Layout engine tree to coq-lsp repos. #668

Open ejgallego opened 5 months ago

ejgallego commented 5 months ago

For now we just host the code here, and compile it. We will add the selection method later on.

CC: #72

Replaces: https://github.com/jscoq/jscoq/pull/282