vault backup: 2023-10-25 17:11:49

This commit is contained in:
2023-10-25 17:11:49 +02:00
parent 770a268e09
commit 5fc3e62812
2 changed files with 8 additions and 5 deletions

View File

@ -30,3 +30,6 @@ val sigma: (int -> int) -> int -> int = <fun>
if list = [] then 0
else
let e::t = list in
# let rec map f = function
| [] -> []
|e::t -> f(e)::map f t ;;