1880 - switch .mu files to new type-deducing idiom

1 files changed, 7 insertions, 7 deletions

diff --git a/factorial.mu b/factorial.mu
index 23c247e0..31b2f63c 100644
--- a/factorial.mu
+++ b/factorial.mu
@@ -3,7 +3,7 @@
 recipe main [
   local-scope
   x:number <- factorial 5
-  $print [result: ], x:number, [ 
+  $print [result: ], x, [ 
 ]
 ]
 
@@ -12,15 +12,15 @@ recipe factorial [
   n:number <- next-ingredient
   {
     # if n=0 return 1
-    zero?:boolean <- equal n:number, 0
-    break-unless zero?:boolean
+    zero?:boolean <- equal n, 0
+    break-unless zero?
     reply 1
   }
   # return n * factorial(n-1)
-  x:number <- subtract n:number, 1
-  subresult:number <- factorial x:number
-  result:number <- multiply subresult:number, n:number
-  reply result:number
+  x:number <- subtract n, 1
+  subresult:number <- factorial x
+  result:number <- multiply subresult, n
+  reply result
 ]
 
 # unit test