CoqIDE talks to the underlying Coq process using a not-very-documented XML protocol. This library, at the moment, implements what I understand of that protocol. In future it will also provide a convenient API to spawn and talk to a Coq process, so you can do something like write a plugin for your favourite editor or IDE. Which I plan on doing for NeoVim.
-
Notifications
You must be signed in to change notification settings - Fork 0
Use the CoqIDE XML protocol from Haskell
License
andy-morris/coq-hs
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Use the CoqIDE XML protocol from Haskell
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published