Fix case

Author: Kacarott

index.html

@@ -50,10 +50,10 @@ <h1>
 (\ f x . f (x x))
 
 # Unbound
-someFunc = \ local . true nonexistant local
+some-func = \ local . true non-existant local
 
 # Out of scope args
-otherFunc = \ x . const (\ scopedArg . x ()) scopedArg x
+other-func = \ x . const (\ scoped-arg . x ()) scoped-arg x
 
 # Debug mode on
 #debug
@@ -62,18 +62,18 @@ <h1>
 (\ f x . f (x x))
 
 # Unbound - Debug
-someFunc = \ local . true nonexistant local
+some-func = \ local . true non-existant local
 
 # Out of scope args - Debug
-otherFunc = \ x . const (\ scopedArg . x ()) scopedArg x
+other-func = \ x . const (\ scoped-arg . x ()) scoped-arg x
 
 # Debug mode off
 #debug
 
 # More code
 zero = false
 succ = \ n f x . f (n f x)
-isZ = \ n . n (const false) true
+is-z = \ n . n (const false) true
 add = \ a b f x . a f (b f x)
 mul = \ a b f . a (b f)
 three = succ (succ (succ zero))
@@ -96,15 +96,15 @@ <h1>
 map = \ f xs . null xs nil (cons (f (head xs)) (map f (tail xs)))
 sum = foldr add zero
 drop = \ n . n tail
-take = \ n xs . isZ n nil (cons (head xs) (take (pred n) (tail xs)))
+take = \ n xs . is-z n nil (cons (head xs) (take (pred n) (tail xs)))
 col = \ n xs . head (drop n xs)
 colS = \ n xs . cons (col n xs) (cons (col (succ n) xs) (cons (col (succ (succ n)) xs) (nil)))
 row = \ n xs . map (col n) xs
-rowS = \ n xs . cons (row n xs) (cons (row (succ n) xs) (cons (row (succ (succ n)) xs) (nil)))
-chunk = \ a b xs . rowS a (colS b xs)
+row-s = \ n xs . cons (row n xs) (cons (row (succ n) xs) (cons (row (succ (succ n)) xs) (nil)))
+chunk = \ a b xs . row-s a (colS b xs)
 append = \ as bs . null as bs (cons (head as) (append (tail as) bs))
 concat = foldr append nil
-eq = \ a b . isZ a (isZ b) (isZ b false (eq (pred a) (pred b)))
+eq = \ a b . is-z a (is-z b) (is-z b false (eq (pred a) (pred b)))
 all = foldr (\ a b . a b false) true
 allf = \ f xs . all (map f xs)
 </textarea>