summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorScott Lawrence <scott+git@ineffectivetheory.com>2024-06-20 08:16:30 -0600
committerScott Lawrence <scott+git@ineffectivetheory.com>2024-06-20 08:16:30 -0600
commitfbdf4ff361cba630cf317296da21763320faaa6c (patch)
tree2295b6103ab305b206bb2207c345527fe8e7c777 /bin
parent8474ac856637da75b0b48bc3e2c539ea0c3196af (diff)
downloadagate-fbdf4ff361cba630cf317296da21763320faaa6c.tar.gz
agate-fbdf4ff361cba630cf317296da21763320faaa6c.tar.bz2
agate-fbdf4ff361cba630cf317296da21763320faaa6c.zip
Created dune project
Diffstat (limited to 'bin')
-rw-r--r--bin/dune4
-rw-r--r--bin/main.ml1
2 files changed, 5 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000..33c70b5
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,4 @@
+(executable
+ (public_name agate)
+ (name main)
+ (libraries agate))
diff --git a/bin/main.ml b/bin/main.ml
new file mode 100644
index 0000000..7bf6048
--- /dev/null
+++ b/bin/main.ml
@@ -0,0 +1 @@
+let () = print_endline "Hello, World!"