Fixed prelude. master
authorRyan Toth <rtoth256@gmail.com>
Sun, 14 Jul 2019 05:30:09 +0000 (22:30 -0700)
committerRyan Toth <rtoth256@gmail.com>
Sun, 14 Jul 2019 05:30:09 +0000 (22:30 -0700)
prelude.modal

index e38f98c..c24bd29 100644 (file)
@@ -136,6 +136,6 @@ rule [
     ?operation ?head (fold (?operation) (?initial) ?tail)
 }
 
-[sum ?list)] -> {
+[sum ?list] -> {
     fold (add) (0) ?list
 }