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