From 07342fdefbf3a4eb2f27a3122fab06bbd386ffd6 Mon Sep 17 00:00:00 2001
From: Jacob Eberhardt <jacob.eberhardt@tu-berlin.de>
Date: Wed, 8 Nov 2017 17:10:19 +0100
Subject: [PATCH] Updated Examples

---
 examples/n_choose_k.code    | 8 ++------
 examples/sudokuchecker.code | 6 +++---
 2 files changed, 5 insertions(+), 9 deletions(-)

diff --git a/examples/n_choose_k.code b/examples/n_choose_k.code
index 459b243f..f6c3a8d4 100644
--- a/examples/n_choose_k.code
+++ b/examples/n_choose_k.code
@@ -7,10 +7,6 @@ def fac(x):
         counter = if counter == x then counter else counter + 1 fi
     endfor
     return f
+
 def main(n, k):
-    top = fac(n)
-    bot1 = fac(k)
-    sub = n - k
-    bot2 = fac(sub)
-    bot = bot1 * bot2
-    return top / bot
+    return fac(n)/(fac(k)*fac(n-k))
diff --git a/examples/sudokuchecker.code b/examples/sudokuchecker.code
index f1eee3bd..1428cbdc 100644
--- a/examples/sudokuchecker.code
+++ b/examples/sudokuchecker.code
@@ -47,7 +47,7 @@ def main(a21,b11,b22,c11,c22,d21):
 
 counter = 0 // globally counts duplicate entries in boxes, rows and columns
 
-// check box correctnes
+// check box correctness
 
   // no duplicates
   counter = counter + checkEquality(a11,a12,a21,a22)
@@ -55,14 +55,14 @@ counter = 0 // globally counts duplicate entries in boxes, rows and columns
   counter = counter + checkEquality(c11,c12,c21,c22)
   counter = counter + checkEquality(d11,d12,d21,d22)
 
-// check row correctnes
+// check row correctness
 
   counter = counter + checkEquality(a11,a12,b11,b12)
   counter = counter + checkEquality(a21,a22,b21,b22)
   counter = counter + checkEquality(c11,c21,d11,d12)
   counter = counter + checkEquality(c21,c22,d21,d22)
 
-// check column correctnes
+// check column correctness
 
   counter = counter + checkEquality(a11,a21,c11,c21)
   counter = counter + checkEquality(a12,a22,c12,c22)