Rob Rix
|
0be3eeb8e1
|
Dictionary diffing should recur.
|
2015-10-06 09:28:30 -04:00 |
|
Rob Rix
|
13939ba7c6
|
Merge branch 'master' into shortest-edit-script-in-algorithm
|
2015-10-05 17:56:09 -04:00 |
|
Rob Rix
|
fd397ce958
|
Merge pull request #57 from github/a-language-in-the-specific-domain-of-diffing
A language in the specific domain of diffing
|
2015-10-05 17:55:40 -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
|
c1e9d8419c
|
Merge branch 'master' into shortest-edit-script-in-algorithm
|
2015-10-05 15:36:32 -04:00 |
|
Rob Rix
|
1c761ba0ab
|
Merge branch 'master' into a-language-in-the-specific-domain-of-diffing
|
2015-10-05 15:12:24 -04:00 |
|
Rob Rix
|
ab36a6e36c
|
Merge pull request #56 from github/free-and-fix
Free, Fix, and Patch
|
2015-10-05 15:12:04 -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 |
|
Rob Rix
|
7c69de54bc
|
Rename Branch to Indexed.
|
2015-10-02 17:12:49 -04:00 |
|
Rob Rix
|
395fa8446f
|
Note my keen desire to 🔥 Syntax.reduce forever.
|
2015-10-02 17:11:35 -04:00 |
|
Rob Rix
|
5ff17c8fc0
|
Syntax.Branch holds an array again.
|
2015-10-02 17:11:02 -04:00 |
|