WebAssembly
diff --git a/‎spectec/Makefile‎
Lines changed: 1 addition & 1 deletion b/‎spectec/Makefile‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎spectec/doc/example/output/NanoWasm.pdf‎
0 Bytes b/‎spectec/doc/example/output/NanoWasm.pdf‎
0 Bytes
@@ -23,7 +23,7 @@ ROOTDIR = ..
 INTERPRETERDIR = $(ROOTDIR)/interpreter
 CLONEDIR = src/backend-interpreter/reference-interpreter
 CLONERM = dune-project jslib
-OPAMPACKAGES = zarith menhir
+OPAMPACKAGES = zarith menhir mdx
 
 
 .PHONY: exe