Initial structure

1 files changed, 13 insertions, 0 deletions

diff --git a/src/Data/Mili.hs b/src/Data/Mili.hs
new file mode 100644
index 0000000..b407d00
--- /dev/null
+++ b/src/Data/Mili.hs
@@ -0,0 +1,13 @@
+module Data.Mili
+  ( Term(..)
+  ) where
+
+data Term = Abs Term      -- | Abstraction
+          | App Term Term -- | Application
+          | Lvl Int       -- | de Bruijn level
+
+instance Show Term where
+  showsPrec _ (Abs m) = showString "[" . shows m . showString "]"
+  showsPrec _ (App m n) =
+    showString "(" . shows m . showString " " . shows n . showString ")"
+  showsPrec _ (Lvl i) = shows i