Frederik Hanghøj Iversen e7f5648607 Disable cube		2018-10-30 14:37:15 +01:00
..
Cat	Update agda-stdlib to newer version	2018-10-30 14:28:09 +01:00
.gitignore	Ignore *.agdai	2017-06-07 22:31:39 +02:00
Cat.agda	Disable cube	2018-10-30 14:37:15 +01:00