summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rw-r--r--bin/dune4
-rw-r--r--bin/main.ml17
2 files changed, 0 insertions, 21 deletions
diff --git a/bin/dune b/bin/dune
deleted file mode 100644
index 3891864..0000000
--- a/bin/dune
+++ /dev/null
@@ -1,4 +0,0 @@
-(executable
- (public_name agate)
- (name main)
- (libraries agate angstrom))
diff --git a/bin/main.ml b/bin/main.ml
deleted file mode 100644
index bb0d6ac..0000000
--- a/bin/main.ml
+++ /dev/null
@@ -1,17 +0,0 @@
-type interpreter = {
- stack : int list
-}
-
-type token = Word of string
-
-let tokenize line : token list =
- String.split_on_char ' ' line |> List.map (fun s -> Word s)
-
-let parse line =
- let _tokens = tokenize line in
- ()
-
-let () =
- let line = input_line stdin |> parse in
- print_string "HI" |> print_newline
-