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

Dummy file to compile everything

Browse source
This commit is contained in:
Frederik Hanghøj Iversen 2018-01-21 00:21:51 +01:00
parent 5fd7dcae9d
commit 40816eb17a
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/Cat.agda Normal file
View file

@ -0,0 +1,12 @@
module Cat where
import Cat.Categories.Sets
import Cat.Categories.Cat
import Cat.Categories.Rel
import Cat.Category.Pathy
import Cat.Category.Bij
import Cat.Category.Free
import Cat.Category.Properties
import Cat.Category
import Cat.Cubical
import Cat.Functor