74 Commits

Author	SHA1	Message	Date
Rob Rix	079518a3f4	Add words.	2015-09-18 13:39:08 -04:00
Rob Rix	ec19009614	Move the S-expression parser into the library.	2015-09-18 11:24:05 -04:00
Rob Rix	8cdb91b5c4	Remove the lambda calculus parser.	2015-09-18 11:23:47 -04:00
Rob Rix	29cc2ed663	Character class from sequences of characters.	2015-09-18 11:23:05 -04:00
Rob Rix	3317e8778b	Doubt is testable.	2015-09-18 11:19:12 -04:00
Rob Rix	5c7132a3bd	Rename Fix to Term.	2015-09-18 10:12:34 -04:00
Rob Rix	70d55b81dd	Full SES.	2015-09-17 15:57:04 -04:00
Rob Rix	318d8f2ea9	Test SES inserting/deleting in the middle.	2015-09-17 15:56:53 -04:00
Rob Rix	3885572e72	Test SES deleting at head.	2015-09-17 15:56:01 -04:00
Rob Rix	8c642c6f94	Test SES inserting at head.	2015-09-17 15:55:30 -04:00
Rob Rix	1fd445c1ef	min-with-comparator.	2015-09-17 15:55:11 -04:00
Rob Rix	6e3d6a2209	Construct diffs from terms.	2015-09-17 15:55:01 -04:00
Rob Rix	8a4a205055	Recursive implementation.	2015-09-17 15:12:49 -04:00
Rob Rix	afab45e68a	Stream is a monad.	2015-09-17 14:36:40 -04:00
Rob Rix	128361bbe8	Memo is a monad.	2015-09-17 14:36:34 -04:00
Rob Rix	afaa68b1e0	Add a concat overload over Memo<Stream>.	2015-09-17 14:34:39 -04:00
Rob Rix	25a88b3c69	const.	2015-09-17 14:34:26 -04:00
Rob Rix	3187d564e1	Abbreviate Stream.concat.	2015-09-17 14:30:49 -04:00
Rob Rix	e99c67ad42	Abbreviate Stream.map.	2015-09-17 14:30:41 -04:00
Rob Rix	e118119dd3	Align with the types.	2015-09-17 14:27:52 -04:00
Rob Rix	87e4d6ccfc	map using analysis to work around a compiler crash.	2015-09-17 14:26:59 -04:00
Rob Rix	ab6cb6c67b	Stream.rest does not force.	2015-09-17 14:26:25 -04:00
Rob Rix	d62d4a33bb	Don’t switch in uncons.	2015-09-17 14:23:51 -04:00
Rob Rix	ad835e6c9a	Add a case analysis method.	2015-09-17 14:23:33 -04:00
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