From 5d227bcd0055d02e1d49a3dcd27e80a756923d5b Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Sun, 23 Jun 2024 23:31:59 +0200 Subject: split code into smaller libraries and make a better repl --- src/pretty/dune | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 src/pretty/dune (limited to 'src/pretty/dune') diff --git a/src/pretty/dune b/src/pretty/dune new file mode 100644 index 0000000..df46822 --- /dev/null +++ b/src/pretty/dune @@ -0,0 +1,9 @@ +(library + (name Pretty) + (public_name toytt.pretty) + (libraries + bwd + fmt + toytt.ident + toytt.nbe + toytt.reporter)) -- cgit 1.4.1