From a55c786a51dca21c9688384d05e0e89966403900 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Wed, 7 Feb 2024 22:51:08 -0800
Subject: [PATCH] Tentatively start working on a language to analyze

---
 Language.agda | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 Language.agda

diff --git a/Language.agda b/Language.agda
new file mode 100644
index 0000000..21e0784
--- /dev/null
+++ b/Language.agda
@@ -0,0 +1,10 @@
+module Language where
+
+open import Data.String using (String)
+open import Data.Nat using (ℕ)
+
+data Expr : Set where
+    _+_ : Expr → Expr → Expr
+    _-_ : Expr → Expr → Expr
+    `_ : String → Expr
+    #_ : ℕ → Expr