Initial commit

1 files changed, 23 insertions, 0 deletions

diff --git a/app/Main.hs b/app/Main.hs
new file mode 100644
index 0000000..913bbb2
--- /dev/null
+++ b/app/Main.hs
@@ -0,0 +1,23 @@
+module Main
+  ( main
+  ) where
+
+import           Lib
+import           System.Environment             ( getArgs )
+import           Term
+
+reduce :: String -> IO ()
+reduce path = do
+  file <- readFile path
+  let termified = fromJotter file
+  putStrLn $ "input: " ++ show termified
+  normal <- nf termified
+  putStrLn $ "reduced: " ++ show normal
+
+main :: IO ()
+main = do
+  args <- getArgs
+  case args of
+    -- ["transpile", path] -> transpile path
+    ["reduce", path] -> reduce path
+    _                -> putStrLn "Usage: jotter [transpile|reduce] <file>"