diff --git a/List/fold b/List/fold index f0cf520..5307ea7 100644 --- a/List/fold +++ b/List/fold @@ -22,7 +22,7 @@ Examples: Natural (λ(x : Natural) → λ(y : Natural) → x + y) nil -= λ(nil : Natural) → 2 + 3 + 5 + nil += λ(nil : Natural) → 2 + (3 + (5 + nil)) λ(list : Type) → λ(cons : Natural → list → list) diff --git a/Natural/fold b/Natural/fold index 3df16be..2150d3e 100644 --- a/Natural/fold +++ b/Natural/fold @@ -10,7 +10,7 @@ Examples: ./fold 3 Natural (λ(x : Natural) → 5 * x) 1 = 125 λ(zero : Natural) → ./fold 3 Natural (λ(x : Natural) → 5 * x) zero -= λ(zero : Natural) → 5 * 5 * 5 * zero += λ(zero : Natural) → 5 * (5 * (5 * zero)) λ(natural : Type) → λ(succ : natural → natural)