From 407a2a4a0a440c41adc19fbe8b67283b7b7c65ab Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Mon, 19 Feb 2024 12:57:26 +0100 Subject: core syntax, semantic domain, evaluation --- toytt.opam | 3 +++ 1 file changed, 3 insertions(+) (limited to 'toytt.opam') diff --git a/toytt.opam b/toytt.opam index 1a4a45c..c2dd3f6 100644 --- a/toytt.opam +++ b/toytt.opam @@ -12,8 +12,11 @@ bug-reports: "https://github.com/username/reponame/issues" depends: [ "ocaml" "dune" {>= "3.13"} + "menhir" "ppx_deriving" + "algaeff" "asai" + "bwd" "odoc" {with-doc} ] build: [ -- cgit 1.4.1