deploy: 869c30b

johnynek · Dec 11, 2024 · 9ece38e · 9ece38e
1 parent 695a268
commit 9ece38e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/compiler/bosatsu_ui.js b/compiler/bosatsu_ui.js
diff --git a/index.html b/index.html
@@ -119,10 +119,10 @@ <h1><a href="#bosatsu-documentation" name="bosatsu-documentation" class="anchor"
 def keep(i):
   (i % 3 == 0) || (i % 5 == 0)
 
-def sum(as): as.foldLeft(0, add)
+def sum(as): as.foldl_List(0, add)
 
-# here is the pytthon version:
-# &gt;&gt;&gt; sum(i for i in xrange(1000) if keep_fn(i))
+# here is the python version:
+# &gt;&gt;&gt; sum(i for i in xrange(1000) if keep(i))
 # 233168
 #
 # bosatsu version here