10 Commits

Author	SHA1	Message	Date
Rob Rix	36827bb85c	Strip annotations in the tests.	2019-07-17 15:23:56 -04:00
Rob Rix	1d94634cce	Generate User names.	2019-07-17 12:55:05 -04:00
Rob Rix	da85c697b2	Correct the types in the spec.	2019-07-17 12:44:34 -04:00
Rob Rix	c2812f8995	Fix up the generators.	2019-07-17 12:44:27 -04:00
Rob Rix	ce1d209b5e	Correct the doctest runner.	2019-06-25 14:24:49 -04:00
Rob Rix	2009e4ab93	Fix the IsString instance.	2019-06-25 14:21:42 -04:00
Rob Rix	2f077365e2	Generate Text.	2019-06-25 14:21:36 -04:00
Jan Hrček	915937c4be	Fix some hlint warnings	2019-06-16 13:40:13 +02:00
Patrick Thomson	11a5217f45	Enable tests.	2019-06-04 11:26:42 -04:00
Rob Rix	23ba75ba79	Copy in the semantic-core sources.	2019-06-03 11:34:15 -04:00