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; _<_)