From bd58d18a2308ae5b53a6f5df1e67203739396d8f Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 18 Apr 2017 11:02:49 -0700 Subject: 3829 --- html/lambda-to-mu.mu.html | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'html/lambda-to-mu.mu.html') diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html index abe1f4e4..3a15158f 100644 --- a/html/lambda-to-mu.mu.html +++ b/html/lambda-to-mu.mu.html @@ -256,7 +256,7 @@ if ('onhashchange' in window) { 192 { 193 ¦ break-if pair? 194 ¦ # atom -195 ¦ buf:&:buffer <- new-buffer 30 +195 ¦ buf:&:buffer <- new-buffer 30 196 ¦ { 197 ¦ ¦ done?:bool <- end-of-stream? in 198 ¦ ¦ break-if done? @@ -264,13 +264,13 @@ if ('onhashchange' in window) { 200 ¦ ¦ c:char <- peek in 201 ¦ ¦ done? <- equal c, 41/close-paren 202 ¦ ¦ break-if done? -203 ¦ ¦ done? <- space? c +203 ¦ ¦ done? <- space? c 204 ¦ ¦ break-if done? 205 ¦ ¦ c <- read in 206 ¦ ¦ buf <- append buf, c 207 ¦ ¦ loop 208 ¦ } -209 ¦ s:text <- buffer-to-array buf +209 ¦ s:text <- buffer-to-array buf 210 ¦ out <- new-atom s 211 } 212 { @@ -342,8 +342,8 @@ if ('onhashchange' in window) { 278 ¦ done?:bool <- end-of-stream? in 279 ¦ return-if done?, 0/null 280 ¦ c:char <- peek in -281 ¦ space?:bool <- space? c -282 ¦ break-unless space? +281 ¦ space?:bool <- space? c +282 ¦ break-unless space? 283 ¦ read in # skip 284 ¦ loop 285 } @@ -352,12 +352,12 @@ if ('onhashchange' in window) { 288 def to-text x:&:cell -> out:text [ 289 local-scope 290 load-ingredients -291 buf:&:buffer <- new-buffer 30 +291 buf:&:buffer <- new-buffer 30 292 buf <- to-buffer x, buf -293 out <- buffer-to-array buf +293 out <- buffer-to-array buf 294 ] 295 -296 def to-buffer x:&:cell, buf:&:buffer -> buf:&:buffer [ +296 def to-buffer x:&:cell, buf:&:buffer -> buf:&:buffer [ 297 local-scope 298 load-ingredients 299 # base case: empty cell @@ -639,12 +639,12 @@ if ('onhashchange' in window) { 575 def to-mu in:&:cell -> out:text [ 576 local-scope 577 load-ingredients -578 buf:&:buffer <- new-buffer 30 +578 buf:&:buffer <- new-buffer 30 579 buf <- to-mu in, buf -580 out <- buffer-to-array buf +580 out <- buffer-to-array buf 581 ] 582 -583 def to-mu in:&:cell, buf:&:buffer -> buf:&:buffer, result-name:text [ +583 def to-mu in:&:cell, buf:&:buffer -> buf:&:buffer, result-name:text [ 584 local-scope 585 load-ingredients 586 # null cell? no change. -- cgit 1.4.1-2-gfad0