From da35892c463cd6b9a492c6aee09726a41031ca93 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 29 Mar 2021 15:56:46 +0100
Subject: Rename parse to derivation.

---
 src/Cfe/Parse.agda | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 src/Cfe/Parse.agda

(limited to 'src/Cfe/Parse.agda')

diff --git a/src/Cfe/Parse.agda b/src/Cfe/Parse.agda
deleted file mode 100644
index 29b94fe..0000000
--- a/src/Cfe/Parse.agda
+++ /dev/null
@@ -1,10 +0,0 @@
-{-# OPTIONS --without-K --safe #-}
-
-open import Relation.Binary using (Setoid)
-
-module Cfe.Parse
-  {c ℓ} (over : Setoid c ℓ)
-  where
-
-open import Cfe.Parse.Base over public
-open import Cfe.Parse.Properties over public
-- 
cgit v1.2.3