aboutsummaryrefslogtreecommitdiffhomepage
path: root/app
diff options
context:
space:
mode:
Diffstat (limited to 'app')
-rw-r--r--app/Main.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Main.hs b/app/Main.hs
index 7a8bffa..c1f1c2d 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -11,7 +11,7 @@ import Term
reduce :: String -> IO ()
reduce path = do
file <- readFile path
- let termified = fromJotter file
+ let termified = fromJottary file
putStrLn $ "input: " ++ show termified
normal <- nf termified
putStrLn $ "reduced: " ++ show normal
@@ -21,4 +21,4 @@ main = do
args <- getArgs
case args of
["reduce", path] -> reduce path
- _ -> putStrLn "Usage: jotter [transpile|reduce] <file>"
+ _ -> putStrLn "Usage: jottary [transpile|reduce] <file>"