From 9753086b7938cb3c452efe768df5188f90350e28 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sat, 7 Oct 2023 17:26:12 +0200 Subject: Implemented from blog --- app/Main.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'app/Main.hs') 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] " + _ -> putStrLn "Usage: jottary [transpile|reduce] " -- cgit v1.2.3