search

Beluga-lang / Beluga

Contextual types meet mechanized metatheory!
http://complogic.cs.mcgill.ca/beluga/
GNU General Public License v3.0
184 stars 16 forks source link

Implement s-expression based communication protocol #94

Open tsani opened 6 years ago

tsani commented 6 years ago

The interactive mode presently communicates with emacs with an ad-hoc protocol. Instead, we should use an s-expression based scheme, which will facilitate deserialization on the Emacs end, and serialization on the OCaml end, since OCaml natively supports s-expression based serialization.

tsani commented 4 years ago

Given that the old-style Emacs interactive mode has been largely replaced by Harpoon, this is a low-priority issue.