From 44526b85eb1f0b6970c9891c4716e338b5cb1556 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Sun, 25 Feb 2018 15:24:44 +0100 Subject: [PATCH] Move CwF --- src/Cat.agda | 2 +- src/Cat/{ => Categories}/CwF.agda | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) rename src/Cat/{ => Categories}/CwF.agda (98%) diff --git a/src/Cat.agda b/src/Cat.agda index 0619b51..4a0b4a0 100644 --- a/src/Cat.agda +++ b/src/Cat.agda @@ -1,7 +1,6 @@ module Cat where import Cat.Category -import Cat.CwF import Cat.Category.Functor import Cat.Category.Product @@ -19,3 +18,4 @@ import Cat.Categories.Rel import Cat.Categories.Free import Cat.Categories.Fun import Cat.Categories.Cube +import Cat.Categories.CwF diff --git a/src/Cat/CwF.agda b/src/Cat/Categories/CwF.agda similarity index 98% rename from src/Cat/CwF.agda rename to src/Cat/Categories/CwF.agda index 584268d..4b9ce32 100644 --- a/src/Cat/CwF.agda +++ b/src/Cat/Categories/CwF.agda @@ -1,4 +1,4 @@ -module Cat.CwF where +module Cat.Categories.CwF where open import Agda.Primitive open import Data.Product