From b4d5b58959f9d416976910609f46733ee91bacb0 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 9 Oct 2016 00:24:24 -0700
Subject: 3491

Update the html, proving that commit 3490 worked. The only changes are
from other recent commits.
---
 html/tangle.mu.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/tangle.mu.html')

diff --git a/html/tangle.mu.html b/html/tangle.mu.html
index 86d824dc..039eacf4 100644
--- a/html/tangle.mu.html
+++ b/html/tangle.mu.html
@@ -49,7 +49,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 
 <span class="muRecipe">after</span> <span class="Constant">&lt;base-case&gt;</span> [
   <span class="Comment"># if n=0 return 1</span>
-  zero?:boolean<span class="Special"> &lt;- </span>equal n, <span class="Constant">0</span>
+  zero?:bool<span class="Special"> &lt;- </span>equal n, <span class="Constant">0</span>
   <span class="muControl">break-unless</span> zero?
   <span class="muControl">return</span> <span class="Constant">1</span>
 ]
-- 
cgit 1.4.1-2-gfad0