lgallet/epicours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vault backup: 2023-09-05 22:20:03

Browse Source
This commit is contained in:
Louis Gallet
2023-09-05 22:20:03 +02:00
parent 3b44f8c8fd
commit d2de16708f
3 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.obsidian/workspace.json vendored
View File

@ -148,12 +148,12 @@
}, },
"active": "13c9bfe482ec2d42", "active": "13c9bfe482ec2d42",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Séminaire/Exercices sémaines.md", "Algo/Séminaire/Introduction.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Séminaire/Chapter 1 - CAML basics.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Exercices sémaines.md",
"Algo/Séminaire/Chapter 2 - Functions.md", "Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg", "Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg",
"Algo/Séminaire/Introduction.md",
"Algo/Séminaire/assets", "Algo/Séminaire/assets",
"Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg", "Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg",
"Mathématiques/Séminaire/Logics/Logics.md", "Mathématiques/Séminaire/Logics/Logics.md",

2
Algo/Séminaire/Chapter 1 - CAML basics.md
View File

@ -71,7 +71,7 @@ when there is the keyword ``len``and ``in`` that create a local definition. A lo
### Multiple definitions ### Multiple definitions
```Ocaml ```Ocaml
# let r = 1. and pi : 3.14 in 2 *. pi *. r;; (*local version*) # let r = 1. and pi = 3.14 in 2 *. pi *. r;; (*local version*)
- : float = 6.28 - : float = 6.28
# let x = 1.2 and y = "Hello";; # let x = 1.2 and y = "Hello";;

3
Algo/Séminaire/Introduction.md
View File

@ -56,7 +56,7 @@ There is two families in the language word, the imperative and the declarative
In the declarative languages we have In the declarative languages we have
- The functional languages - The functional languages
- $$f:x -> x+1$$ - $f:x -> x+1$
- The logical languages - The logical languages
$$x\in{N}$$ $$x\in{N}$$
$$x>1$$ $$x>1$$
@ -64,4 +64,3 @@ $$x<3$$
$$\text{-> } x=2$$ $$\text{-> } x=2$$
Latest update 2023-09-04