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