18 Commits

Author	SHA1	Message	Date
Rob Rix	7802d4916c	🔥 FlexibleInstances & RecordWildCards pragmas.	2016-06-03 16:02:06 -04:00
Rob Rix	43757e8a61	🔥 Categorizable. ... This reverts commit be59b0c161362baae63308478177819828be7e1b.	2016-06-02 19:10:41 -04:00
joshvera	9ef2745944	Replace comparable with (==) category	2016-05-31 16:58:57 -04:00
joshvera	0244e9a929	Store a category in Info instead of a Set	2016-05-31 16:13:01 -04:00
joshvera	473ec980b1	Merge remote-tracking branch 'origin/master' into diff-summaries	2016-05-26 13:40:54 -04:00
joshvera	8180b37285	Use Protolude via the Prologue module and add NoImplicitPrelude	2016-05-26 12:58:04 -04:00
joshvera	48c7498ce2	Define Term in terms of Cofree	2016-05-04 14:37:24 -04:00
joshvera	6c07d4dc55	WIP CofreeF	2016-05-03 12:17:38 -04:00
Rob Rix	b29fc796b7	Add an ArrayLiteral category.	2016-03-02 23:01:46 -05:00
Rob Rix	d52a9d79b1	Add Category constructors for integer/string/symbol literals.	2016-02-24 13:47:53 -07:00
Rob Rix	ebc12c9919	Add a Pair constructor.	2016-02-13 21:01:52 -05:00
Matt Diephouse	eb51a2b87e	Add a binary operator category	2016-02-05 16:59:38 -05:00
Matt Diephouse	9e2ccc0924	Add a function call category	2016-02-05 16:54:08 -05:00
Matt Diephouse	611edbb783	Give Categorizables actual Categorys	2016-02-05 13:48:13 -05:00
Matt Diephouse	8bbda1884d	Category should derive Ord	2016-02-04 16:47:33 -05:00
Matt Diephouse	8df205c10e	Category should derive Show	2016-02-04 16:43:05 -05:00
Matt Diephouse	a13053c960	Add a Category type	2016-02-04 16:35:42 -05:00
Matt Diephouse	170b7c6e1e	Rename Categorizable module to Category	2016-02-04 13:59:33 -05:00