From 59c3b1a20aae2ef9c45e74d454337c07aa43f59e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 02:52:25 -0300
Subject: nix flake with dune and rocq development environment

---
 dune-project | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 dune-project

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..138c21c
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,22 @@
+(lang dune 3.7)
+
+(name sol)
+
+(generate_opam_files true)
+
+(license AGPL-3.0-only)
+
+(authors "Marcos Magueta")
+
+(maintainers "Marcos Magueta <maguetamarcos@gmail.com>")
+
+(package
+ (name sol)
+ (synopsis "Sol: a total relational language")
+ (description
+  "Sol is a total relational language where relations are the primary semantic objects, types are membership criteria, and execution is proof search, constraint propagation, and normalization.")
+ (depends
+  (ocaml
+   (>= 5.1))
+  zarith
+  (alcotest :with-test)))
-- 
cgit v1.2.3