about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--tangle/Readme.md16
1 files changed, 8 insertions, 8 deletions
diff --git a/tangle/Readme.md b/tangle/Readme.md
index 863965bf..be61d40e 100644
--- a/tangle/Readme.md
+++ b/tangle/Readme.md
@@ -1,9 +1,9 @@
 [Literate Programming](https://en.wikipedia.org/wiki/Literate_programming)
 tool to convert Mu's layers into compilable form.
 
-Mu's tangling differ from Knuth's classic implementation. The classical
-approach starts out with labeled subsystems that are initially empty, and adds
-code to them using two major directives:
+Mu's tangling directives differ from Knuth's classic implementation. The
+classical approach starts out with labeled subsystems that are initially
+empty, and adds code to them using two major directives:
 
 ```
 <name> ≡
@@ -15,14 +15,14 @@ code to them using two major directives:
 <code>
 ```
 
-(`<code>` can span multiple lines.)
+_(`<code>` can span multiple lines.)_
 
 This approach is best suited for top-down exposition.
 
 On the other hand, Mu's tangling directives are better suited for a cleaned-up
-history of a codebase. They can tell a story of a program over multiple
-versions, within each version keeping all the code related to each new
-feature close together.
+history of a codebase. Subsystems start out with a simple skeleton of the core
+of the program. Later versions then tell a story of the evolution of the
+program, with each version colocating all the code related to new features.
 
 Read more:
 * http://akkartik.name/post/wart-layers
@@ -70,7 +70,7 @@ Delete a block of code starting with a given header and surrounded by `{` and
 :(delete{} <header>)
 ```
 
-_(Caveat: doesn't support C's `do`..`while` loops.)_
+_(Caveat: doesn't directly support C's `do`..`while` loops.)_
 
 Replace a specific line with new code:
 
4a283099652a82c9a5ea10abb86b67'>^
b38d7fff ^
a6d9bd9b ^



1ae4e0d9 ^
a6d9bd9b ^

1ae4e0d9 ^



b38d7fff ^
e3894819 ^
1ae4e0d9 ^

38f0b91a ^
04afb4b0 ^

b38d7fff ^

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57