Rename parse to derivation.

3 files changed, 6 insertions, 6 deletions

diff --git a/src/Cfe/Parse.agda b/src/Cfe/Derivation.agda
index 29b94fe..4d54f8f 100644
--- a/src/Cfe/Parse.agda
+++ b/src/Cfe/Derivation.agda
@@ -2,9 +2,9 @@
 
 open import Relation.Binary using (Setoid)
 
-module Cfe.Parse
+module Cfe.Derivation
   {c ℓ} (over : Setoid c ℓ)
   where
 
-open import Cfe.Parse.Base over public
-open import Cfe.Parse.Properties over public
+open import Cfe.Derivation.Base over public
+open import Cfe.Derivation.Properties over public
diff --git a/src/Cfe/Parse/Base.agda b/src/Cfe/Derivation/Base.agda
index 0f8ad21..1f2bb63 100644
--- a/src/Cfe/Parse/Base.agda
+++ b/src/Cfe/Derivation/Base.agda
@@ -2,7 +2,7 @@
 
 open import Relation.Binary using (Setoid)
 
-module Cfe.Parse.Base
+module Cfe.Derivation.Base
   {c ℓ} (over : Setoid c ℓ)
   where
 
diff --git a/src/Cfe/Parse/Properties.agda b/src/Cfe/Derivation/Properties.agda
index 1b1d247..303d2f9 100644
--- a/src/Cfe/Parse/Properties.agda
+++ b/src/Cfe/Derivation/Properties.agda
@@ -2,7 +2,7 @@
 
 open import Relation.Binary using (Setoid)
 
-module Cfe.Parse.Properties
+module Cfe.Derivation.Properties
   {c ℓ} (over : Setoid c ℓ)
   where
 
@@ -14,7 +14,7 @@ open import Cfe.Language over hiding (≤-refl)
 open import Cfe.Language.Construct.Concatenate over using (Concat)
 open import Cfe.Language.Indexed.Construct.Iterate over
 open import Cfe.Judgement over
-open import Cfe.Parse.Base over
+open import Cfe.Derivation.Base over
 open import Cfe.Type over using (_⊛_; _⊨_)
 open import Data.Bool using (T; not; true; false)
 open import Data.Empty using (⊥-elim)