3599 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	058d8d89f9	Use logBase.	2015-12-21 10:14:12 -05:00
Rob Rix	3d17c9a8f0	Use an operator section to avoid some awkwardness.	2015-12-21 10:12:14 -05:00
Rob Rix	09fb6238c4	Remove isChanged.	2015-12-21 10:05:49 -05:00
Rob Rix	4b487669a9	Remove adjoin2.	2015-12-21 10:04:51 -05:00
Rob Rix	446383565c	Test adjoin2By.	2015-12-21 10:04:47 -05:00
Rob Rix	9ef0242ac8	Define annotatedToRows in terms of adjoin2By.	2015-12-21 10:04:02 -05:00
Rob Rix	c19dbc27b0	Remove adjoin2Lines.	2015-12-21 10:03:08 -05:00
Rob Rix	422dad44a9	Define termToLines in terms of adjoin2LinesBy.	2015-12-21 10:03:03 -05:00
Rob Rix	e92d4037fd	Remove openLine.	2015-12-21 10:01:03 -05:00
Rob Rix	9404ee75c3	Test openLineBy, not openLine.	2015-12-21 10:01:00 -05:00
Rob Rix	c9f13f2f41	Define the arbitrary instances for Row and Line in terms of an Arbitrary type a.	2015-12-21 09:58:20 -05:00
Rob Rix	3424df075a	Generalize Line and unLine over a.	2015-12-21 09:58:02 -05:00
Rob Rix	f714e83b62	Define adjoin2 in terms of its generalization over the selection of an open element.	2015-12-21 09:56:33 -05:00
Rob Rix	a9c744a54c	Eta-reduce the openLine definition.	2015-12-21 09:54:03 -05:00
Rob Rix	b8e843a505	Spacing.	2015-12-21 09:53:49 -05:00
Rob Rix	4c0b6e9636	Define adjoin2Lines in terms of adjoin2LinesBy.	2015-12-21 09:53:37 -05:00
Rob Rix	05785a0b06	Add a generalization of adjoin2Lines, parameterized by the selection of an open element.	2015-12-21 09:52:57 -05:00
Rob Rix	afafed623c	Define openLine in terms of openLineBy.	2015-12-21 09:52:41 -05:00
Rob Rix	3ec55a34a4	Add a generalization of openLine, parameterized by the selection of an open element.	2015-12-21 09:52:27 -05:00
Rob Rix	5089c1d2ed	Rename the unLine parameter.	2015-12-18 17:34:08 -05:00
Rob Rix	9ec602ee82	The Show instances are constrained to Show a.	2015-12-18 17:33:45 -05:00
Rob Rix	2ede50401e	Constrain the ToMarkup instances to ToMarkup a.	2015-12-18 16:45:06 -05:00
Rob Rix	7964727da6	Add a type parameter to Line.	2015-12-18 16:41:50 -05:00
Rob Rix	eb89e828bb	Add a type parameter to Row. ... Currently it’s a phantom type.	2015-12-18 16:37:16 -05:00
Rob Rix	c70c14bf1b	Remove Debug.Trace.	2015-12-18 16:16:43 -05:00
Rob Rix	44d437ccdb	🔥 the prototype.	2015-12-18 14:20:46 -05:00
Rob Rix	32f562eea0	Move style.css.	2015-12-18 14:20:09 -05:00
Rob Rix	7ed7c71a63	🔥 the unused adjoinLines function.	2015-12-18 14:18:21 -05:00
Rob Rix	e8f57d6b27	Remove the redundant test.	2015-12-18 13:58:13 -05:00
Rob Rix	60edfc661a	Test promotion through empty lines.	2015-12-18 13:58:02 -05:00
Rob Rix	de456dfe49	Remove the redundant test.	2015-12-18 13:40:54 -05:00
Rob Rix	e1cc29e032	Don’t expect empty rows to be elided.	2015-12-18 13:27:16 -05:00
Rob Rix	bcc7d6d578	Don’t elide empty rows.	2015-12-18 13:27:11 -05:00
Rob Rix	963887a115	Test the property that we don’t promote through empty lines onto closed lines. ... This is falsified by empty row elision.	2015-12-18 13:27:03 -05:00
Rob Rix	7e67a6a490	Remove a redundant test.	2015-12-18 13:22:30 -05:00
Rob Rix	0b4aeb06af	Remove the redundant test.	2015-12-18 13:19:51 -05:00
Rob Rix	d699adc714	Test the property that closed rows are closed.	2015-12-18 13:19:40 -05:00
Rob Rix	c02bd6e11a	EmptyLines are not closed.	2015-12-18 13:19:05 -05:00
Rob Rix	8bb258a8e6	Add a predicate for closed rows.	2015-12-18 13:17:03 -05:00
Rob Rix	8f2473fd48	Remove a redundant test.	2015-12-18 13:05:08 -05:00
Rob Rix	6ffe3719d0	Reformat.	2015-12-18 13:04:52 -05:00
Rob Rix	595293e1a5	Actually test the property.	2015-12-18 13:02:46 -05:00
Rob Rix	e49715dd86	Use forAll to stub in the test.	2015-12-18 12:28:57 -05:00
Rob Rix	a549354030	Stub in a property test of appending onto open rows.	2015-12-18 12:11:01 -05:00
Rob Rix	013ed0e227	Add a predicate for open rows.	2015-12-18 12:10:46 -05:00
Rob Rix	d1020f4ca3	Tweak some test names.	2015-12-18 11:05:41 -05:00
Rob Rix	099096b409	Spacing.	2015-12-18 11:04:49 -05:00
Josh Vera	b3f178082b	Merge pull request #350 from github/self-contained-binary ... Self contained binary	2015-12-17 17:34:22 -05:00
Rob Rix	2deb91eeee	Pin back to master.	2015-12-17 16:47:41 -05:00
Rob Rix	2949fcae84	Add some annotations to avoid some warnings.	2015-12-17 16:37:12 -05:00