Frederik Hanghøj Iversen 812662bda3 Rename some variables		2018-01-25 12:47:32 +01:00
..
Cat	Rename some variables	2018-01-25 12:47:32 +01:00
.gitignore	Ignore *.agdai	2017-06-07 22:31:39 +02:00
Cat.agda	Move the category of functors	2018-01-22 14:44:25 +01:00