fun Ġmain () Ġ{ čĊčĊĠĠĠ Ġtail rec Ġfun Ġdisplay ( value : ĠInt ) Ġ{ čĊĠĠĠĠĠĠĠ Ġprintln (" Recursive Ġ$ value ") čĊĠĠĠĠĠĠĠ Ġif Ġ( value Ġ> Ġ 0 ) Ġ{ čĊĠĠĠĠĠĠĠĠĠĠĠ Ġdisplay ( value Ġ- 1 ) čĊĠĠĠĠĠĠĠ Ġ} čĊĠĠĠ Ġ} čĊčĊĠĠĠ Ġtail rec Ġfun Ġfactor ial Recursive ( value : ĠInt , Ġtotal : ĠInt Ġ= Ġ 1 ): ĠInt Ġ{ čĊĠĠĠĠĠĠĠ Ġreturn Ġ Ġwhen ( value ){ čĊĠĠĠĠĠĠĠĠĠĠĠĠ 1 Ġ-> Ġtotal čĊĠĠĠĠĠĠĠĠĠĠĠ Ġelse Ġ-> Ġfactor ial Recursive ( value - 1 , Ġtotal Ġ* Ġvalue ) čĊĠĠĠĠĠĠĠ Ġ} čĊĠĠĠ Ġ} čĊčĊĠĠĠ Ġprintln ( factor ial Recursive ( 1 0 )) č Ċ }