diff options
| author | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:38:11 +0200 |
|---|---|---|
| committer | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:38:11 +0200 |
| commit | af76b11278204c25428c4f95ef51d4aa8f2a1e0e (patch) | |
| tree | 1fc0d014424481960c0064af87321096141badeb /bin/main.ml | |
| parent | 870e1cc1ea14fe43ae50e47828ac760e760ad93a (diff) | |
| download | chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.tar.gz chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.tar.bz2 chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.zip | |
set up dream
Diffstat (limited to 'bin/main.ml')
| -rw-r--r-- | bin/main.ml | 24 |
1 files changed, 3 insertions, 21 deletions
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!" + ) |