24749 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6e5aacc988	SES is over [Fix], not [Diff].	2015-09-16 09:59:13 -04:00
Rob Rix	1aed2f8949	Test that empty collections generate empty diffs.	2015-09-16 09:56:28 -04:00
Rob Rix	2fdff49711	Stub in SES.	2015-09-16 09:56:15 -04:00
Rob Rix	4a601f64d4	Clearer wording as to the tentative nature of the roadmap.	2015-09-15 16:48:01 -04:00
Rob Rix	1da5d03553	Summarize.	2015-09-15 16:47:27 -04:00
Rob Rix	2eb2d9b196	Limit scope. ... I don’t intend this to sound like we’ll be doing arbitrary languages, I just want to get it working with one or two first.	2015-09-15 16:28:57 -04:00
Rob Rix	08c80ca563	Semantic diff presentation/interaction prototype.	2015-09-15 16:26:31 -04:00
Rob Rix	9b535d30d0	Diff ToC.	2015-09-15 16:25:46 -04:00
Rob Rix	3fc7d1b0e7	Diff prototyping toolkit.	2015-09-15 16:25:02 -04:00
Rob Rix	3b0d564a8f	Kick it off.	2015-09-15 16:23:42 -04:00
Rob Rix	b0c396d734	Fix the copyright.	2015-09-15 15:23:07 -04:00
Rob Rix	3546820afa	Merge pull request #21 from github/simplification ... Simplification	2015-09-15 14:34:28 -04:00
Rob Rix	440ccb9444	Leave Doc implicit wherever possible.	2015-09-15 14:33:09 -04:00
Rob Rix	8bf3464764	Test the production of copying diffs.	2015-09-15 14:29:54 -04:00
Rob Rix	02de7f075e	Add the sexpr grammar to the tests.	2015-09-15 14:28:32 -04:00
Rob Rix	29dcc19069	Remove the broken playground.	2015-09-15 14:27:18 -04:00
Rob Rix	9654536de1	Whatever you say, Xcode.	2015-09-15 14:26:25 -04:00
Rob Rix	5f464f3e10	🔥 Tree.	2015-09-15 14:17:40 -04:00
Rob Rix	bf10dfca2d	Diff.debugDescription gets the debug strings for its contents.	2015-09-15 14:09:45 -04:00
Rob Rix	d3b82148b8	Diff is CustomDebugStringConvertible.	2015-09-15 14:08:59 -04:00
Rob Rix	cae54e2c95	Fix can be empty.	2015-09-15 14:07:35 -04:00
Rob Rix	64c3a6074b	Don’t specialize description.	2015-09-15 13:58:47 -04:00
Rob Rix	d76ec6a208	Move Tree up in the list.	2015-09-15 13:56:08 -04:00
Rob Rix	9b9daa910a	Remove the heading.	2015-09-15 13:55:46 -04:00
Rob Rix	d5d63a892d	Define Doc directly, not algebraically.	2015-09-15 13:55:09 -04:00
Rob Rix	41bba38001	Fix is an enum.	2015-09-15 13:49:23 -04:00
Rob Rix	6724c834e5	Remove FixpointType.	2015-09-15 13:46:45 -04:00
Rob Rix	d23d646f66	Tree is CustomStringConvertible.	2015-09-15 12:52:07 -04:00
Rob Rix	5f66984cec	Tree is public.	2015-09-15 12:50:36 -04:00
Rob Rix	485565b4e4	Add a simple rose tree.	2015-09-15 12:49:39 -04:00
Rob Rix	871dc356dd	Tweak some things to make Xcode happy.	2015-09-15 12:34:53 -04:00
Rob Rix	93fd2acc81	Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5' ... git-subtree-dir: prototype git-subtree-mainline: 0244ce39f68a04b515f32b2b8ea9a3e0228923c7 git-subtree-split: a7fef6ced9	2015-09-15 12:32:12 -04:00
Rob Rix	a7fef6ced9	Note the need for SES.	2015-09-11 16:35:02 -04:00
Rob Rix	8fa77ae595	Use the Pretty initializer to get the doc.	2015-09-11 11:48:17 -04:00
Rob Rix	30a4b2fca5	Add a test playground.	2015-09-11 11:45:46 -04:00
Rob Rix	5b6fc850f9	Diff uses indirect.	2015-09-11 11:40:01 -04:00
Rob Rix	367e3b0ebc	Diffing is defined over Fix.	2015-09-11 11:38:42 -04:00
Rob Rix	e829798d59	Rewrite the diff function as an initializer.	2015-09-11 11:35:51 -04:00
Rob Rix	8aa8f3d32f	Diff is public.	2015-09-11 11:34:15 -04:00
Rob Rix	29e3aaf361	Syntax, Fix, Doc, and Pretty are public.	2015-09-11 10:17:19 -04:00
Rob Rix	d118fc5dfe	Parser state has public fields.	2015-09-11 10:03:52 -04:00
Rob Rix	1e0d71e42d	Clean up the test file.	2015-09-11 09:59:59 -04:00
Rob Rix	2bbb132d7e	Parsing is public.	2015-09-11 09:59:40 -04:00
Rob Rix	264f0943c9	Migrate syntax and stuff.	2015-09-09 14:59:08 -04:00
Rob Rix	d4b52967a8	Add .gitignore.	2015-09-08 12:14:00 -04:00
Rob Rix	a3c91b7aa1	Pretty equality.	2015-07-18 15:47:25 -04:00
Rob Rix	bed4b7bca9	Matuschak denormalization of ==.	2015-07-18 15:46:34 -04:00
Rob Rix	5e0f00edce	The codes.	2015-07-18 15:43:49 -04:00
Rob Rix	d307218981	Ignore some stuff.	2015-07-18 15:43:12 -04:00