68 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	a1136f8e58	rest forces.	2015-09-17 14:23:05 -04:00
Rob Rix	298c2accae	uncons does not force the remainder of the stream.	2015-09-17 14:22:05 -04:00
Rob Rix	b3c0e92d2a	Stream concatenation.	2015-09-17 14:14:01 -04:00
Rob Rix	587ffcbb24	Stream is NilLiteralConvertible.	2015-09-17 14:12:39 -04:00
Rob Rix	6e5c72098a	Memo is a functor.	2015-09-17 14:10:51 -04:00
Rob Rix	538bbf0c27	Extra line.	2015-09-17 09:07:27 -04:00
Rob Rix	911501c337	Diff is Comparable.	2015-09-16 15:47:03 -04:00
Rob Rix	f9023f88b7	Equality of empty diffs.	2015-09-16 15:46:45 -04:00
Rob Rix	d0d53d152a	Diff applications, abstractions, and groups as arrays.	2015-09-16 15:00:06 -04:00
Rob Rix	6a8915fc61	Approximate SES.	2015-09-16 14:58:53 -04:00
Rob Rix	d92afc817e	Make Cons indirect to work around a runtime deadlock.	2015-09-16 14:56:34 -04:00
Rob Rix	8618d7bbca	Insert/Delete convenience constructors.	2015-09-16 13:52:53 -04:00
Rob Rix	7e5100c813	Stream memoizes.	2015-09-16 13:44:02 -04:00
Rob Rix	71236c1b8d	Remove the autoclosure constructor.	2015-09-16 13:43:57 -04:00
Rob Rix	590a290c0a	Memo constructors.	2015-09-16 13:42:31 -04:00
Rob Rix	8c16f0321b	Add a Memo type.	2015-09-16 12:59:57 -04:00
Rob Rix	3bade61660	Stream is a SequenceType.	2015-09-16 12:28:45 -04:00
Rob Rix	9c47dae557	Stream.map.	2015-09-16 12:27:23 -04:00
Rob Rix	0dfd3a5ecd	Diffs have a magnitude.	2015-09-16 12:23:24 -04:00
Rob Rix	e823f84d4a	Syntax folding.	2015-09-16 12:22:53 -04:00
Rob Rix	53ce3368cc	Stream.isEmpty.	2015-09-16 11:56:06 -04:00
Rob Rix	fc7fa9db3b	Construct Streams with sequences, generators, and sources.	2015-09-16 11:54:19 -04:00
Rob Rix	bec4764a39	Stream unconsing.	2015-09-16 11:44:56 -04:00
Rob Rix	4aa5a86143	Basic Stream abstraction.	2015-09-16 11:42:49 -04:00
Rob Rix	65d8b04eb9	(Failing) test of non-empty/empty SES.	2015-09-16 10:04:30 -04:00
Rob Rix	8a2ff37cb9	(Failing) test of empty/non-empty terms.	2015-09-16 10:02:20 -04:00
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	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