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 |
|