vault backup: 2023-10-25 17:21:05
This commit is contained in:
parent
836493654d
commit
b1df54d806
@ -34,4 +34,6 @@ val map : ('a -> 'b) -> 'a list -> 'b list = <fun>
|
||||
|
||||
## Ex 2.2
|
||||
```
|
||||
# let rec for_app
|
||||
# let rec for_all p = function
|
||||
| [] -> true
|
||||
| e::t -> if p(e) then for_all p t else false;;
|
||||
|
Loading…
x
Reference in New Issue
Block a user