From 3adf8eced77b4513ef3f93343e385565dfa514d0 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 15 Sep 2023 16:29:55 +0200
Subject: Started transpiler

---
 app/Main.hs | 21 ++++++++++++++++++---
 1 file changed, 18 insertions(+), 3 deletions(-)

(limited to 'app')

diff --git a/app/Main.hs b/app/Main.hs
index 6e1c43f..004d079 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -4,10 +4,21 @@ module Main
 
 import           Lib
 import           System.Environment             ( getArgs )
+import           Term
+import           Transpile
 
-main :: IO ()
--- main = mapM_ (bruteForce "...") [1 .. 10]
-main = do
+transpile :: IO ()
+transpile = do
+  args <- getArgs
+  file <- readFile (head args)
+  let term = fromBLC file
+  putStrLn $ "input: " ++ show term
+  let ski = transpileSKI term
+  putStrLn $ "transpiled: " ++ show ski
+  return ()
+
+reduce :: IO ()
+reduce = do
   args <- getArgs
   file <- readFile (head args)
   let termified   = fromBirbs file
@@ -17,3 +28,7 @@ main = do
   let retermified = fromTerm normalBirbs
   putStrLn $ "reduced: " ++ retermified
   return ()
+
+main :: IO ()
+main = transpile
+-- main = mapM_ (bruteForce "...") [1 .. 10]
-- 
cgit v1.2.3