1 files changed, 11 insertions, 0 deletions
diff --git a/src/K/Ast.hs b/src/K/Ast.hs
new file mode 100644
index 0000000..56761f5
--- /dev/null
+++ b/src/K/Ast.hs
@@ -0,0 +1,11 @@
+module K.Ast where
+
+data Expr
+    = Tru
+    | Fals
+    | Zero
+    | IsZero Expr
+    | Succ Expr
+    | Pred Expr
+    | If Expr Expr Expr
+      deriving (Eq, Show)