diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 04:04:46 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 04:04:46 -0700 |
| commit | beea7ce25cfe42c363259705a6b5741ad47484ab (patch) | |
| tree | d30b44a935bad1cb6c88083c57caabdf062ed513 /html/lambda-to-mu.mu.html | |
| parent | 98e3a41bf96b37d94f6b0a0e98a4635a174e9903 (diff) | |
| download | mu-beea7ce25cfe42c363259705a6b5741ad47484ab.tar.gz | |
3543
Diffstat (limited to 'html/lambda-to-mu.mu.html')
| -rw-r--r-- | html/lambda-to-mu.mu.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html index 52100115..46788657 100644 --- a/html/lambda-to-mu.mu.html +++ b/html/lambda-to-mu.mu.html @@ -222,7 +222,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Delimiter">{</span> <span class="muControl">break-if</span> pair? <span class="Comment"># atom</span> - b:&:buffer<span class="Special"> <- </span>new-buffer <span class="Constant">30</span> + buf:&:buffer<span class="Special"> <- </span>new-buffer <span class="Constant">30</span> <span class="Delimiter">{</span> done?:bool<span class="Special"> <- </span>end-of-stream? in <span class="muControl">break-if</span> done? @@ -233,10 +233,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color done?<span class="Special"> <- </span>space? c <span class="muControl">break-if</span> done? c<span class="Special"> <- </span>read in - b<span class="Special"> <- </span>append b, c + buf<span class="Special"> <- </span>append buf, c <span class="muControl">loop</span> <span class="Delimiter">}</span> - s:text<span class="Special"> <- </span>buffer-to-array b + s:text<span class="Special"> <- </span>buffer-to-array buf out<span class="Special"> <- </span>new-atom s <span class="Delimiter">}</span> <span class="Delimiter">{</span> |