Three ways to implement the f acto rial function in SPL.
First the recursive version .
*/
-var r = 1;
-var facN = 1;
-var ok = True;
+Int r = 1;
+Char r = 1;
+Int r = -1;
+Void r = 0;
+Bool r = !True;
+Bool r = -True;
+//var facN = 1;
+//var ok = True;
facR(n) :: Int -> Int {
if (n < 2) {