vault backup: 2023-10-29 15:58:34
This commit is contained in:
parent
4cef0973b0
commit
2ab43a01bf
5
.obsidian/workspace.json
vendored
5
.obsidian/workspace.json
vendored
@ -69,7 +69,8 @@
|
||||
}
|
||||
],
|
||||
"direction": "horizontal",
|
||||
"width": 300
|
||||
"width": 300,
|
||||
"collapsed": true
|
||||
},
|
||||
"right": {
|
||||
"id": "b83c16dd7908c658",
|
||||
@ -156,7 +157,7 @@
|
||||
"command-palette:Open command palette": false
|
||||
}
|
||||
},
|
||||
"active": "f1000ea0f0e6db20",
|
||||
"active": "c473a791e2b34194",
|
||||
"lastOpenFiles": [
|
||||
"Algo/Courses/Chapter 7 - High Order (exercises).md",
|
||||
"Algo/Courses/Chapter 6 - Lists (Exercises).md",
|
||||
|
@ -27,7 +27,7 @@ val count = 'a -> 'a list -> int = <fun>
|
||||
```Ocaml
|
||||
# let rec search x n =
|
||||
if x = [] then
|
||||
0
|
||||
false
|
||||
else
|
||||
let e::t = x in
|
||||
if e = x then
|
||||
|
Loading…
x
Reference in New Issue
Block a user