vault backup: 2023-10-25 16:38:15

This commit is contained in:
Louis Gallet 2023-10-25 16:38:15 +02:00
parent effbfd24cc
commit a397067481
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -1,2 +1,8 @@
```Ocaml
# let double_succ
# let sum n =
if n = 0 then
0
else if n < 0 then
failwith "input must be positive"
else
n + sum(n-1)