From f60b209eae598160f6cf160415e08ae72658cd32 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 13 Nov 2024 16:18:01 +0100
Subject: Initial structure

---
 src/Data/Mili.hs | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 src/Data/Mili.hs

(limited to 'src/Data')

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
-- 
cgit v1.2.3