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

1 files changed, 6 insertions, 6 deletions

diff --git a/tangle.mu b/tangle.mu
index 121bfbcc..b9d05bee 100644
--- a/tangle.mu
+++ b/tangle.mu
@@ -17,17 +17,17 @@ recipe factorial [
 
 after +base-case [
   # 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
 ]
 
 after +recursive-case [
   # 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
 ]
 
 recipe main [