From ce87c19ee42bc52c5ab9a1ee3c431a9423e5a885 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 29 Jul 2015 01:23:22 -0700 Subject: 1880 - switch .mu files to new type-deducing idiom --- tangle.mu | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'tangle.mu') 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 [ -- cgit 1.4.1-2-gfad0