From 27e9ddee53b8fa43725f951434404691d8012190 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 18:27:44 -0300
Subject: language server over stdio, emacs mode with repl and eglot wiring

---
 dune-project | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index d490405..50c0e42 100644
--- a/dune-project
+++ b/dune-project
@@ -21,6 +21,7 @@
   (ocaml
    (>= 5.1))
   zarith
+  yojson
   (menhir :build)
   (coq :build)
   (alcotest :with-test)))
-- 
cgit v1.2.3