diff options
Diffstat (limited to 'html/tangle.mu.html')
-rw-r--r-- | html/tangle.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/tangle.mu.html b/html/tangle.mu.html index e7c23458..f4e73bfc 100644 --- a/html/tangle.mu.html +++ b/html/tangle.mu.html @@ -22,7 +22,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color </head> <body> <pre> -<span class="Comment"># example program: constructing recipes out of order</span> +<span class="Comment"># example program: constructing functions out of order</span> <span class="Comment">#</span> <span class="Comment"># We construct a factorial function with separate base and recursive cases.</span> <span class="Comment"># Compare factorial.mu.</span> |