1 files changed, 5 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000..02a84dc
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,5 @@
+(executable
+ (name main)
+ (public_name colitur)
+ (package colitur)
+ (libraries colitur_kernel))