vault backup: 2023-10-16 13:30:06

This commit is contained in:
2023-10-16 13:30:06 +02:00
parent 05c50e8de1
commit f8b1eca99e
2 changed files with 10 additions and 13 deletions

View File

@ -211,4 +211,12 @@ let rec reverse = function
| [] -> []
| e::t -> reverse t@[e];;
val reverse : 'a list -> 'a list = <fun>
(* Correction *)
# let reverse l =
let rec rev rl = function
[] -> rl
| e::t -> rev(e::rl) l
in rev [] l
```