vault backup: 2023-10-25 17:16:56

This commit is contained in:
Louis Gallet 2023-10-25 17:16:56 +02:00
parent 5fc3e62812
commit 836493654d
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -26,10 +26,12 @@ val sigma: (int -> int) -> int -> int = <fun>
## Ex 2.1 ## Ex 2.1
``` ```
# let map arg list =
if list = [] then 0
else
let e::t = list in
# let rec map f = function # let rec map f = function
| [] -> [] | [] -> []
|e::t -> f(e)::map f t ;; |e::t -> f(e)::map f t ;;
val map : ('a -> 'b) -> 'a list -> 'b list = <fun>
```
## Ex 2.2
```
# let rec for_app