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

---
 src/Transpile.hs | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/Transpile.hs

(limited to 'src/Transpile.hs')

diff --git a/src/Transpile.hs b/src/Transpile.hs
new file mode 100644
index 0000000..2b8134f
--- /dev/null
+++ b/src/Transpile.hs
@@ -0,0 +1,8 @@
+module Transpile
+  ( transpileSKI
+  ) where
+
+import           Term
+
+transpileSKI :: Term -> SKI
+transpileSKI t = t
-- 
cgit v1.2.3