Rob Rix
|
810d562424
|
Replace be with an initializer.
|
2015-09-28 22:22:13 -04:00 |
|
Rob Rix
|
d8be60d842
|
Rename be ’s parameters.
|
2015-09-28 22:17:06 -04:00 |
|
Rob Rix
|
749fe83e81
|
Rename the parameter to placed .
|
2015-09-28 22:17:00 -04:00 |
|
Rob Rix
|
6d16f3924d
|
best is a method.
|
2015-09-28 22:16:19 -04:00 |
|
Rob Rix
|
1829404979
|
fits is a method.
|
2015-09-28 22:12:08 -04:00 |
|
Rob Rix
|
9928fdaa77
|
Make pretty a method on DOC.
|
2015-09-28 17:13:10 -04:00 |
|
Rob Rix
|
2ef4ca02a1
|
Extract pretty from the extension.
|
2015-09-28 17:10:12 -04:00 |
|
Rob Rix
|
d3b27cfba4
|
Add a DOC type which constructs Doc.
Following Wadler.
|
2015-09-28 17:06:52 -04:00 |
|
Rob Rix
|
0c8303f27b
|
Add a constructor for single-element Streams.
|
2015-09-28 17:06:01 -04:00 |
|
Rob Rix
|
119fdaed78
|
Add Doc operators.
|
2015-09-28 17:05:36 -04:00 |
|
Rob Rix
|
a90e508a8e
|
Merge pull request #33 from github/sourcekitten
[WIP] Extract Swift document structure using SourceKitten.
|
2015-09-28 14:29:13 -04:00 |
|
Rob Rix
|
9147dd72db
|
Add a test of SES over slightly longer sequences to demonstrate the performance problem.
|
2015-09-28 14:28:36 -04:00 |
|
Rob Rix
|
a7ea2ae201
|
Avoid recomputing the magnitudes.
|
2015-09-28 14:21:13 -04:00 |
|
Rob Rix
|
b43a5eaf26
|
Revert "Diff using Vertex."
This reverts commit 881436e01d381b404c12e9c63a8634d6110d251a.
|
2015-09-28 14:17:55 -04:00 |
|
Rob Rix
|
7237ecd7e4
|
Diff using Vertex.
|
2015-09-28 14:17:48 -04:00 |
|
Rob Rix
|
b1a3c8046e
|
Vertex emptiness.
|
2015-09-28 12:09:43 -04:00 |
|
Rob Rix
|
1a6f6b588b
|
Add a Fibonacci stream to the tests.
|
2015-09-28 10:29:31 -04:00 |
|
Rob Rix
|
48bee808f6
|
Correct take ’s semantics.
|
2015-09-28 10:28:44 -04:00 |
|
Rob Rix
|
d110a149dc
|
Taking of n values from streams.
|
2015-09-28 10:02:31 -04:00 |
|
Rob Rix
|
b97e2e4833
|
Test Vertex construction.
|
2015-09-28 09:55:04 -04:00 |
|
Rob Rix
|
4a16b06e92
|
Correct bogus equality tests.
|
2015-09-28 09:54:44 -04:00 |
|
Rob Rix
|
1a44c5ee7a
|
Correct the inversion of alternating rows.
|
2015-09-25 18:50:59 -04:00 |
|
Rob Rix
|
da12af7313
|
Stream zipping.
|
2015-09-25 13:57:35 -04:00 |
|
Rob Rix
|
00f1daa61a
|
Construct vertices in row-major order.
|
2015-09-25 12:52:59 -04:00 |
|
Rob Rix
|
a0edc9fe49
|
Vertex is CustomStringConvertible.
|
2015-09-25 12:45:10 -04:00 |
|
Rob Rix
|
18bcad0165
|
Vertex is CustomDebugStringConvertible.
|
2015-09-25 12:44:20 -04:00 |
|
Rob Rix
|
3dc89059ac
|
Avoid an excess map.
|
2015-09-25 12:43:54 -04:00 |
|
Rob Rix
|
98e66acdbf
|
Row-/column-major streams of vertices.
|
2015-09-25 12:38:11 -04:00 |
|
Rob Rix
|
652d1f9db4
|
Add row/column implementations back using Stream.unfold.
|
2015-09-25 12:37:58 -04:00 |
|
Rob Rix
|
21f3bc9dcc
|
Xcode did not delete this before, apparently.
|
2015-09-25 12:37:42 -04:00 |
|
Rob Rix
|
39c46edeb9
|
Implement the eliminators with analysis.
|
2015-09-25 12:37:08 -04:00 |
|
Rob Rix
|
24bc2610ff
|
Add a case analysis method.
|
2015-09-25 12:36:11 -04:00 |
|
Rob Rix
|
0a88c407e5
|
Construct streams with unfold.
|
2015-09-25 12:22:31 -04:00 |
|
Rob Rix
|
8178904a36
|
Generalize Vertex construction to arbitrary sequences.
|
2015-09-25 11:57:53 -04:00 |
|
Rob Rix
|
ece5c942d5
|
Memo can print itself.
|
2015-09-25 11:57:28 -04:00 |
|
Rob Rix
|
b25095372a
|
Revert "Memo does not need the evaluated label."
This reverts commit 238df4a1b54752041f134375569049c2afd79632.
|
2015-09-24 18:26:23 -04:00 |
|
Rob Rix
|
b76d361412
|
Vertex equality.
|
2015-09-24 18:24:05 -04:00 |
|
Rob Rix
|
a70fc630aa
|
Add an element property to Vertex.
|
2015-09-24 18:23:56 -04:00 |
|
Rob Rix
|
f1e06015d0
|
Work around a runtime deadlock.
|
2015-09-24 18:23:48 -04:00 |
|
Rob Rix
|
6e0cf0d6a1
|
Memo does not need the evaluated label.
|
2015-09-24 18:23:38 -04:00 |
|
Rob Rix
|
8387f5ce71
|
Vertices can be constructed from pairs of streams.
|
2015-09-24 15:45:56 -04:00 |
|
Rob Rix
|
089d5417aa
|
Remove row, column, X, and Y from Vertex.
This is a more wasteful representation but we can deal with that later.
|
2015-09-24 15:45:36 -04:00 |
|
Rob Rix
|
40211726bc
|
Add a lazy right-fold to Stream.
|
2015-09-24 15:10:56 -04:00 |
|
Rob Rix
|
abb625b501
|
Edit graph vertices.
|
2015-09-24 13:28:46 -04:00 |
|
Rob Rix
|
a6c419c6e1
|
Support enums, structs, and variables.
|
2015-09-23 18:22:27 -04:00 |
|
Rob Rix
|
975ac8fc2f
|
Term initialization is partial.
|
2015-09-23 17:37:53 -04:00 |
|
Rob Rix
|
0a4dd8111f
|
Spit out reflected diffs.
|
2015-09-23 17:37:29 -04:00 |
|
Rob Rix
|
3a90f09363
|
Remove the temporary arguments.
|
2015-09-23 17:01:43 -04:00 |
|
Rob Rix
|
5879e24a10
|
Copy frameworks into the .app.
|
2015-09-23 17:01:28 -04:00 |
|
Rob Rix
|
75aa4c0527
|
Don’t code sign.
|
2015-09-23 17:01:21 -04:00 |
|