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

---
 flake.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index bd1d2d2..4bf732e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -38,6 +38,7 @@
             ];
             propagatedBuildInputs = [
               ocamlPackages.zarith
+              ocamlPackages.yojson
             ];
             checkInputs = [ ocamlPackages.alcotest ];
             doCheck = true;
@@ -63,6 +64,7 @@
               ocamlPackages.utop
               ocamlPackages.odoc
               ocamlPackages.zarith
+              ocamlPackages.yojson
               ocamlPackages.alcotest
               ocamlPackages.menhir
               # Rocq, for the verified checkers and their extraction
-- 
cgit v1.2.3