X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FMarkus%2Fmultiple_recursion.spl;h=bfe670128ac3c229a0c6ebc87cdc2345aa4e45ae;hb=3d569407ede8e77c5809a1076735dc3c58ab1922;hp=8676358be9bca4f17741d537aaa74ec0691e10e8;hpb=72fb877d00efbba5cc4540ee2e76fbb01c6f572d;p=cc1516.git

diff --git a/examples/Markus/multiple_recursion.spl b/examples/Markus/multiple_recursion.spl
index 8676358..bfe6701 100644
--- a/examples/Markus/multiple_recursion.spl
+++ b/examples/Markus/multiple_recursion.spl
@@ -1,14 +1,10 @@
 // Generates a list of zeros and ones
 
-flip(n, l)
-{
-  if( n <= 0 )
-    return l;
-  else
-    return flop(n-1, 0:l);
+flip(n, l) :: Int -> [Int] -> [Int] {
+  if( n <= 0 ) {return l;} 
+  else {return flop(n-1, 0:l);}
 }
 
-flop(n, l)
-{
+flop(n, l) {
   return flip(n, 1:l);
 }