8 Commits

Author	SHA1	Message	Date
goolord	fb6a80c49e	fix header	2019-04-29 16:28:13 -04:00
goolord	3100cf23bc	export	2019-04-29 16:10:28 -04:00
goolord	2894964d94	sized table	2019-04-29 16:07:26 -04:00
goolord	1e02817557	oops	2019-04-29 15:03:21 -04:00
goolord	1787f6628d	sizable	2019-04-29 15:00:21 -04:00
Andrew Martin	4c5446afea	improve compatibility with base-4.11, since Semigroup is now a superclass of Monoid	2018-05-29 20:18:49 -04:00
chessai	53f9ebeea0	fix lower bound of colonnade for lucid	2018-01-15 10:45:51 -05:00
Andrew Martin	cb5be2ab25	add lucid-colonnade	2018-01-12 19:53:25 -05:00