diff options
Diffstat (limited to 'bin/main.ml')
| -rw-r--r-- | bin/main.ml | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/bin/main.ml b/bin/main.ml index 19dd333..10a6bc3 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,4 +1,16 @@ +(* Entry point for this web application *) + +(* open Chadprover.Types *) +open Chadprover.To_string +(* open Chadprover.Lib_utils *) +open Chadprover.Lexing.Lexer +open Chadprover.Parsing.Parser +(* open Chadprover.Satisfiability.Satisfiable *) + let () = - Dream.run (fun _ -> - Dream.html "Sup yall!" - ) + let lex_result = lex "(p > (q > (p > p)))" in (* "a & b & c = z > x & y | c" *) + let parse_result = parse lex_result in + let proof = Chadprover.Sequent_calculus.Sequent_proof.prove_sequent (Seq([], [parse_result])) in + print string_of_stree proof + +let () = Api.Startapp.startapp () |