From af76b11278204c25428c4f95ef51d4aa8f2a1e0e Mon Sep 17 00:00:00 2001
From: filip <“filip.rabiega@gmail.com”>
Date: Tue, 22 Apr 2025 17:38:11 +0200
Subject: set up dream

---
 bin/dune    |  2 +-
 bin/main.ml | 24 +++---------------------
 2 files changed, 4 insertions(+), 22 deletions(-)

(limited to 'bin')

diff --git a/bin/dune b/bin/dune
index 5e8e55c..e7f82e3 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,4 +1,4 @@
 (executable
  (public_name power_prover)
  (name main)
- (libraries power_prover))
+ (libraries power_prover dream))
diff --git a/bin/main.ml b/bin/main.ml
index eed1a7a..19dd333 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -1,22 +1,4 @@
-open Power_prover.Datatypes
-
-let show_example p i =
-  print_endline ("Proposition p:     " ^ (string_of_prop p));
-  print_endline ("p in NNF:          " ^ (string_of_prop (to_nnf p)));
-  print_endline ("Interpretation i:  " ^ (string_of_interpr i));
-  print_endline ("p under i:         " ^ (string_of_prop (interpret p i)) ^ "\n");;
-
-let p1 = Not(Not(Not(And(Lit "a", Lit "b"))));;
-let p2 = Iff(Not(Implies(Or(Lit "a", Lit "b"), And(Lit "b", Lit "c"))), True);;
-let i1 = [("a", false); ("b", true); ("c", false)];;
-let i2 = [("a", false); ("b", false)];;
-let i3 = [("c", true)];;
-
 let () =
-  show_example p1 i1;
-  show_example p1 i2;
-  show_example p1 i3;
-
-  show_example p2 i1;
-  show_example p2 i2;
-  show_example p2 i3;;
+  Dream.run (fun _ ->
+    Dream.html "Sup yall!"
+  )
-- 
cgit v1.2.3