fredefox/cat
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Move CwF

Browse source
This commit is contained in:
Frederik Hanghøj Iversen 2018-02-25 15:24:44 +01:00
parent f0beec1530
commit 44526b85eb
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Cat.agda
View file

@ -1,7 +1,6 @@
module Cat where module Cat where
import Cat.Category import Cat.Category
import Cat.CwF
import Cat.Category.Functor import Cat.Category.Functor
import Cat.Category.Product import Cat.Category.Product
@ -19,3 +18,4 @@ import Cat.Categories.Rel
import Cat.Categories.Free import Cat.Categories.Free
import Cat.Categories.Fun import Cat.Categories.Fun
import Cat.Categories.Cube import Cat.Categories.Cube
import Cat.Categories.CwF

2
src/Cat/CwF.agda → src/Cat/Categories/CwF.agda
View file

@ -1,4 +1,4 @@
module Cat.CwF where module Cat.Categories.CwF where
open import Agda.Primitive open import Agda.Primitive
open import Data.Product open import Data.Product