From d763d7a639d686a2028d49961738977cae90c8d7 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 22 Sep 2024 21:54:52 -0700
Subject: [PATCH] Rename language file

---
 Lang.agda => Language/Flat.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename Lang.agda => Language/Flat.agda (99%)

diff --git a/Lang.agda b/Language/Flat.agda
similarity index 99%
rename from Lang.agda
rename to Language/Flat.agda
index a55b379..f525dba 100644
--- a/Lang.agda
+++ b/Language/Flat.agda
@@ -1,5 +1,5 @@
 {-# OPTIONS --guardedness #-}
-module Lang where
+module Language.Flat where
 
 open import Data.Integer using (ℤ; _+_; +_)
 open import Data.Nat using (ℕ; suc; _<_)