5 commits

Author	SHA1	Message	Date
Floris van Doorn	59aed195ba	cleanup in colimit	2019-01-10 23:45:52 -05:00
Floris van Doorn	e4db64ae9a	fixes after changes in the library	2018-09-10 18:04:28 +02:00
Floris van Doorn	d4ab6e15ef	small changes in colimit	2017-11-30 18:06:02 +01:00
Floris van Doorn	cca1279f45	remove colim file from Spectral	2017-11-22 16:30:58 -05:00
Floris van Doorn	03cacd2dc1	move colimit project here	2017-11-22 16:15:35 -05:00