vault backup: 2023-10-25 16:49:43
This commit is contained in:
parent
9c5f0484ec
commit
2a699f1674
@ -8,4 +8,15 @@
|
|||||||
0
|
0
|
||||||
else
|
else
|
||||||
n + sum(n-1)
|
n + sum(n-1)
|
||||||
in sumrc n;;
|
in sumrc n;;
|
||||||
|
val sum : int -> int = <fun>
|
||||||
|
|
||||||
|
(*Correction*)
|
||||||
|
let sigma f n =
|
||||||
|
if n<0 then
|
||||||
|
invalid_arg "n<0"
|
||||||
|
else
|
||||||
|
let rec sig = function
|
||||||
|
| 0 -> f0
|
||||||
|
| n -> fn + sig (n-1)
|
||||||
|
in sig n;;
|
Loading…
x
Reference in New Issue
Block a user