382 Commits

Author	SHA1	Message	Date
Rob Rix	b910fdba46	Section header for Syntax.map.	2015-10-06 11:08:39 -04:00
Rob Rix	286ff11f79	Rename iter to iterate.	2015-10-06 11:05:02 -04:00
Rob Rix	8800c57ca7	Oh yeah, method dispatch works too.	2015-10-06 11:04:36 -04:00
Rob Rix	8226285153	Implement iter as a method.	2015-10-06 11:04:14 -04:00
Rob Rix	c0edc77185	Implement iter by case analysis.	2015-10-06 11:03:03 -04:00
Rob Rix	3da765d32b	Identity.	2015-10-06 11:02:22 -04:00
Rob Rix	3d06b533bc	Implement iter over Free.	2015-10-06 11:02:15 -04:00
Rob Rix	24e113d2f0	The hash property on Free is public.	2015-10-06 11:00:47 -04:00
Rob Rix	0be3eeb8e1	Dictionary diffing should recur.	2015-10-06 09:28:30 -04:00
Rob Rix	3fb6f24d8b	Diff indexed terms.	2015-10-05 17:30:29 -04:00
Rob Rix	b08a51a360	Abbreviate further.	2015-10-05 17:29:20 -04:00
Rob Rix	071bf6bd6f	Stub in a matrix pairing the elements to be diffed.	2015-10-05 17:27:28 -04:00
Rob Rix	d00da3f90a	Remove evaluation from Algorithm.	2015-10-05 17:26:17 -04:00
Rob Rix	b7b56b1d01	Move the body of evaluation into FreeAlgebra.	2015-10-05 17:25:47 -04:00
Rob Rix	1ef04248cb	Bring the typealiases from Algorithm into FreeAlgorithm.	2015-10-05 17:25:17 -04:00
Rob Rix	3fdda99653	Matrix is a functor.	2015-10-05 17:18:40 -04:00
Rob Rix	0e8b74e830	Matrix has a private fieldwise constructor.	2015-10-05 17:18:35 -04:00
Rob Rix	81b6c172cf	Populate the matrix with a compute function.	2015-10-05 17:12:28 -04:00
Rob Rix	c935e4a3d9	Stub in a matrix of memoized values.	2015-10-05 17:11:56 -04:00
Rob Rix	9e2b6bd3b4	Document the ByIndex case a bit more.	2015-10-05 14:54:03 -04:00
Rob Rix	b7ebabd529	Stub in ByIndex diffing.	2015-10-05 13:17:43 -04:00
Rob Rix	80ba5fb379	More thorough documentation of FreeAlgorithm.	2015-10-05 13:15:23 -04:00
Rob Rix	437fbd269f	Algorithm is an operation.	2015-10-05 13:14:46 -04:00
Rob Rix	847216a942	Document some elements of FreeAlgorithm.	2015-10-05 13:05:31 -04:00
Rob Rix	49aa2b3dd5	Section headers.	2015-10-05 13:02:04 -04:00
Rob Rix	30d16f87e8	Remove the free diff function.	2015-10-05 13:00:36 -04:00
Rob Rix	e2e6a0ea03	Note the need for SES.	2015-10-05 12:51:43 -04:00
Rob Rix	4b3b1ec3d4	Top-level construction of FreeAlgorithms from Terms.	2015-10-05 12:51:05 -04:00
Rob Rix	1af75347a1	Add a hack protocol to allow an ersatz same-type requirement.	2015-10-05 12:50:47 -04:00
Rob Rix	00ae25a932	Add a function computing the FreeAlgorithm for two terms.	2015-10-05 12:33:59 -04:00
Rob Rix	81e80eae50	Evaluation of FreeAlgorithm where A: Equatable.	2015-10-05 12:32:34 -04:00
Rob Rix	346a39fafc	Evaluation of FreeAlgorithm.	2015-10-05 12:32:21 -04:00
Rob Rix	fa3be5108e	FreeAlgorithm is a monad.	2015-10-05 12:30:10 -04:00
Rob Rix	c70ab9e9a4	FreeAlgorithm is a functor.	2015-10-05 12:29:35 -04:00
Rob Rix	eea4915d6a	Add a free monad over Algorithm.	2015-10-05 12:19:55 -04:00
Rob Rix	8f9a47cd06	Simplify the evaluation of recursive algorithms.	2015-10-05 12:13:54 -04:00
Rob Rix	300f370bcb	Spacing.	2015-10-05 12:13:25 -04:00
Rob Rix	7834548250	Algorithm implements dictionary diffing.	2015-10-05 09:24:29 -04:00
Rob Rix	bd5deecce7	Spacing.	2015-10-02 17:49:03 -04:00
Rob Rix	fce352dd85	Document why copy.	2015-10-02 17:48:58 -04:00
Rob Rix	51903b4434	Implement an interpreter for Algorithm.	2015-10-02 17:47:11 -04:00
Rob Rix	ad93456922	Algorithm is a Functor.	2015-10-02 17:34:14 -04:00
Rob Rix	f9dcf9569c	The Recursive case contains two Terms, not one.	2015-10-02 17:32:25 -04:00
Rob Rix	b30aa91502	Algorithm is public.	2015-10-02 17:30:09 -04:00
Rob Rix	1b13580eb3	Document the Recursive case.	2015-10-02 17:29:13 -04:00
Rob Rix	bbd41b209d	Doc comments for the Term and Diff typealiases.	2015-10-02 17:25:52 -04:00
Rob Rix	f26d4349c7	Documentation comment for the Algorithm type.	2015-10-02 17:25:40 -04:00
Rob Rix	8da57b5e78	Stub in the language of diffing algorithms.	2015-10-02 17:21:51 -04:00
Rob Rix	20bea59868	Add a Keyed case to Syntax.	2015-10-02 17:18:38 -04:00
Rob Rix	6657c5c0a5	Fix the debug description.	2015-10-02 17:13:27 -04:00