2 files changed, 0 insertions, 30 deletions
diff --git a/bin/dune b/bin/dune
deleted file mode 100644
index 2e2f594..0000000
--- a/bin/dune
+++ /dev/null
@@ -1,5 +0,0 @@
-(executable
- (public_name toytt)
- (name main)
- (libraries toytt)
- (modes byte exe))
diff --git a/bin/main.ml b/bin/main.ml
deleted file mode 100644
index afae47c..0000000
--- a/bin/main.ml
+++ /dev/null
@@ -1,25 +0,0 @@
-open Toytt
-
-module Term = Asai.Tty.Make(Reporter.Message)
-
-let parse (s : string) : Ast.expr =
-  let lexbuf = Lexing.from_string s in
-  let string_source : Asai.Range.string_source = {
-    title = None;
-    content = s;
-  } in
-  let source = `String string_source in
-  ParserEff.Eff.run ~env:source @@ fun () ->
-  let ast = Parser.parse Lexer.lex lexbuf in
-  ast
-
-let rec repl () =
-  let input = read_line () in
-  let ast = parse input in
-  let (tp, tm) = Elab.infer_toplevel ast in
-  let value = Eval.eval ~env:Emp tm in
-  Format.printf "%a : %a\n%!" Syntax.Pretty.pp (Quote.quote ~size:0 value, Emp) Syntax.Pretty.pp (Quote.quote ~size:0 tp, Emp);
-  repl ()
-
-let () =
-  Reporter.run ~emit:Term.display ~fatal:Term.display @@ fun () -> repl ()