Sublanguages improvement & Coq experiment (#53)

* separation and functor for sublanguages

* add coq experiment for termination

* fix tests with envelopes

* add timestamp and print responses to server on terminal

* remove coq experiment for trivial cases and rework gate

* refactor nesting with let*

* remove non-envelope sublang support and tests on server

* manip_err duplication purge and better format as s-expr

* abstract storage with dispatch for sublanguages

* dead code and minor refactor due to old non-envelope parsing on subl

* refactor server to use proper dml alg error and wire ephem relations

* remove (schema)

* change .gitignore to blacklist folders

1 files changed, 4 insertions, 0 deletions

diff --git a/flake.nix b/flake.nix
index 1976555..6a1e1a2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -275,6 +275,10 @@
               ppx_protocol_conv
               ppx_protocol_conv_xml_light
               ocamlPackages.earlybird
+              # Formal verification
+              legacyPackages.coq
+              legacyPackages.coqPackages.stdlib
+              legacyPackages.z3
             ];