From c530682030e80ee2de2c263471e5eda7a3392e84 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 03:07:56 -0300
Subject: working vm: parser, admission with totality checks, solver and repl

---
 bin/dune | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 bin/dune

(limited to 'bin/dune')

diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000..1ad9289
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,4 @@
+(executable
+ (name main)
+ (public_name sol)
+ (libraries sol))
-- 
cgit v1.2.3