Rob Rix
|
b91d1754c7
|
Add a --toc flag for blobs.
|
2017-06-16 12:32:52 -04:00 |
|
Rob Rix
|
26d1b600be
|
Render Markdown blobs to ToCs.
|
2017-06-16 12:32:44 -04:00 |
|
Rob Rix
|
1bdec36140
|
Render Python blobs to ToCs.
|
2017-06-16 12:32:39 -04:00 |
|
Rob Rix
|
203d97d126
|
Define a ToC renderer.
|
2017-06-16 12:32:26 -04:00 |
|
Rob Rix
|
a9dd289aae
|
Define a ToC rendering function for parse trees.
|
2017-06-16 12:26:14 -04:00 |
|
Rob Rix
|
87082918a4
|
Return term ToCs without a wrapping Entry.
|
2017-06-16 12:25:20 -04:00 |
|
Rob Rix
|
8fdd1bdf0d
|
Define a function computing the table of contents for a term.
|
2017-06-16 12:21:40 -04:00 |
|
Rob Rix
|
8941b23246
|
🔥 the ParseArguments' wrappers.
|
2017-06-16 12:09:22 -04:00 |
|
Rob Rix
|
7c5ba48e2f
|
🔥 the DiffArguments' wrappers.
|
2017-06-16 12:06:27 -04:00 |
|
Rob Rix
|
e392ac01da
|
Rename renderToC to renderToCDiff
|
2017-06-16 12:03:39 -04:00 |
|
Rob Rix
|
1e0d3e6251
|
Merge pull request #1168 from github/drop-section-heading-punctuation-from-table-of-contents
Exclude heading punctuation from Markdown ToC
|
2017-06-16 11:16:39 -04:00 |
|
Rob Rix
|
d4ecb1c501
|
Merge branch 'master' into drop-section-heading-punctuation-from-table-of-contents
|
2017-06-16 11:04:01 -04:00 |
|
Rob Rix
|
e11b56127f
|
Take the range of headings’ children instead of the whole heading.
We don’t want to include the ## in a section entry, so we union the ranges of the children (if any).
|
2017-06-16 10:59:23 -04:00 |
|
Rob Rix
|
a051efe7e8
|
Merge pull request #1164 from github/it's-probably-a-fire-storm
Clean up scripts & dependencies
|
2017-06-15 13:02:17 -04:00 |
|
Rob Rix
|
1ed59d3fa9
|
Set -O2 in profile, threadscope, and CI builds only.
|
2017-06-15 12:00:01 -04:00 |
|
Rob Rix
|
c659f413f6
|
Would you just look at all that 🔥
|
2017-06-15 11:56:10 -04:00 |
|
Rob Rix
|
fe708485e7
|
Clean up the readFile helper.
|
2017-06-15 11:28:00 -04:00 |
|
Rob Rix
|
0ea0417fb1
|
Merge pull request #1162 from github/optimize-for-large-nested-branches
Optimize for large nested branches
|
2017-06-15 11:24:31 -04:00 |
|
Rob Rix
|
2dfd3322a2
|
Merge branch 'master' into optimize-for-large-nested-branches
|
2017-06-15 11:02:00 -04:00 |
|
Rob Rix
|
b6d52051dc
|
Merge pull request #1163 from github/i-c-u-later
🔥 icu, text-icu, & gitlib
|
2017-06-15 11:01:30 -04:00 |
|
Rob Rix
|
f5be57daf3
|
Ignore all .hp/.prof files.
|
2017-06-15 10:49:23 -04:00 |
|
Rob Rix
|
ed2c60608f
|
Correct the CommandSpec.
|
2017-06-15 10:17:41 -04:00 |
|
Rob Rix
|
60d822f9bc
|
Use a strict & partially unpacked structure for mapping terms.
|
2017-06-15 10:10:48 -04:00 |
|
Rob Rix
|
eaa98912de
|
Bounds are closed ranges.
|
2017-06-15 10:06:15 -04:00 |
|
Rob Rix
|
2b46a7a347
|
Reverse the generated lists.
|
2017-06-15 10:04:48 -04:00 |
|
Rob Rix
|
93f61519b7
|
Update the featureVectorDecorator bounds test.
|
2017-06-15 09:46:51 -04:00 |
|
Rob Rix
|
46cfee6e28
|
Update the RWS spec.
|
2017-06-15 09:44:46 -04:00 |
|
Rob Rix
|
1f4eb8e475
|
Avoid the indirection through Maybe.
|
2017-06-15 09:44:09 -04:00 |
|
Rob Rix
|
b5cb522d62
|
Unpack a few fields.
|
2017-06-15 09:36:04 -04:00 |
|
Rob Rix
|
7e05cec95f
|
Unbox feature vectors.
|
2017-06-15 09:20:31 -04:00 |
|
Rob Rix
|
c12a2465a5
|
RWS employs strict state.
|
2017-06-15 09:10:58 -04:00 |
|
Rob Rix
|
e15f5ad7ab
|
Fold strictly.
|
2017-06-15 08:57:07 -04:00 |
|
Rob Rix
|
11859c9b51
|
Generate the lists of terms & diffs purely.
|
2017-06-15 08:55:23 -04:00 |
|
Rob Rix
|
655fab9277
|
Implement RWS directly.
|
2017-06-15 08:46:40 -04:00 |
|
Rob Rix
|
1aba30158b
|
Re-export the whole module.
|
2017-06-15 08:32:50 -04:00 |
|
Rob Rix
|
60323b7f5c
|
Simplify Command to just be Command.Files.
|
2017-06-15 08:32:08 -04:00 |
|
Rob Rix
|
bd03bbf779
|
🔥 another redundant import.
|
2017-06-14 23:21:54 -04:00 |
|
Rob Rix
|
a815960132
|
🔥 redundant variables and imports.
|
2017-06-14 23:20:12 -04:00 |
|
Rob Rix
|
83f8612c35
|
🔥 unused variables.
|
2017-06-14 23:18:35 -04:00 |
|
Rob Rix
|
64b018065c
|
Pretty, pretty 🔥
|
2017-06-14 17:59:52 -04:00 |
|
Rob Rix
|
779d9fc164
|
More spec 🔥
|
2017-06-14 17:54:29 -04:00 |
|
Rob Rix
|
fed4d93a46
|
Gitlib gone too.
|
2017-06-14 17:54:21 -04:00 |
|
Rob Rix
|
de325b2aab
|
🔥 a bunch of specs.
|
2017-06-14 17:49:33 -04:00 |
|
Rob Rix
|
a7a39a6e49
|
🔥 showsQuaternaryWith.
|
2017-06-14 17:49:28 -04:00 |
|
Rob Rix
|
f7c3f1153c
|
🔥 a couple of redundant imports.
|
2017-06-14 17:48:05 -04:00 |
|
Rob Rix
|
992ef93c0b
|
Git gone.
|
2017-06-14 17:47:31 -04:00 |
|
Rob Rix
|
1caff48253
|
Fiddle while ICU 🔥s.
|
2017-06-14 17:37:36 -04:00 |
|
Rob Rix
|
b71f711102
|
This is a nice linker you have here. It’d be a shame if anything were to happen to it.
|
2017-06-14 17:35:50 -04:00 |
|
Rob Rix
|
826461e8e2
|
🔥 text-icu.
|
2017-06-14 17:34:26 -04:00 |
|
Rob Rix
|
17f577b3f3
|
Merge branch 'master' into optimize-for-large-nested-branches
|
2017-06-14 16:56:09 -04:00 |
|