examples: Fix formatting and add the syntax changes to some examples

Author: hexaredecimal

examples/array2.pics

@@ -11,9 +11,9 @@ IO::println(Array::join(numbers, "::"))
 
 reduce :: (xs=[], f, acc) =
   when xs {
-		is [] -> acc
-		is x:rest -> reduce(rest, f, f(acc, x))
-	}
+    is [] -> acc
+    is x:rest -> reduce(rest, f, f(acc, x))
+  }
 
 result := reduce(mapped, |acc, x| -> acc + x, 0) 
 

examples/church.pics

@@ -0,0 +1,26 @@
+
+IO :: import std.io
+Error :: import std.errors
+Array :: import std.array
+
+zero :: (f, x) = x
+succ :: (n, f, x) = f(n(f, x))
+
+one := succ(zero)
+two := succ(one)
+three := succ(two)
+
+add :: (m, n, f, x) = m(f, n(f, x))
+mul :: (m, n, f, x) = m(n(f), x)
+
+toInt :: (n) = n(|x| -> x + 1, 0)
+
+four := add(two, two)
+nine := mul(three, three)
+eight := add(four, four)
+
+IO::println(toInt(four))
+IO::println(toInt(nine))
+IO::println(toInt(eight))  
+
+

examples/gcd.pics

@@ -1,11 +1,8 @@
 
 import std.io
 
-gcd :: (a, b=0) = 
-  when (a, b) {
-    is (_, 0) -> a
-    else -> gcd(b, a % b)
-  }
+gcd :: (a, 0) = a
+gcd :: (a, b) = gcd(b, a % b)
 
 result := gcd(10, 20)
 

examples/rt-checks.pics

@@ -4,13 +4,13 @@ import std.type
 import std.result { Result }
 
 saferDiv :: (x, y) = 
-	when (Type::isNumber(x), Type::isNumber(y), x, y) {
-		is (false, false, _, _) -> Result::err("both arguments are not numbers")
-		is (false, _, _, _) -> Result::err("1st argument is not a number")
-		is (_, false, _, _) -> Result::err("2nd argument is not a number")
-		is (_, _, _, 0) -> Result::err("Divide by zero error")
-		else -> Result::ok(x / y)
-	}
+  when (Type::isNumber(x), Type::isNumber(y), x, y) {
+    is (false, false, _, _) -> Result::err("both arguments are not numbers")
+    is (false, _, _, _) -> Result::err("1st argument is not a number")
+    is (_, false, _, _) -> Result::err("2nd argument is not a number")
+    is (_, _, _, 0) -> Result::err("Divide by zero error")
+    else -> Result::ok(x / y)
+  }
 
 res := saferDiv(50, 2)
 error := saferDiv(50, [1])