Skip to content
Snippets Groups Projects
Commit bd07b9b7 authored by COQUERY EMMANUEL's avatar COQUERY EMMANUEL
Browse files

Infos du jour

parent baa30392
No related branches found
No related tags found
No related merge requests found
......@@ -11,16 +11,20 @@ test -r /home/tpetu/Enseignants/emmanuel.coquery/opam/opam-init/init.sh && . /ho
```
> Sur une machine personnelle, installer ocaml et opam via les paquets, par exemple sous ubuntu:
> ```
>
> ```shell
> sudo apt install ocaml opam
> ```
>
> sous Mac OS X avec Homebrew:
> ```
>
> ```shell
> brew install ocaml opam
> ```
>
> Dans un shell, lancer les commandes suivantes:
> ```
>
> ```shell
> opam init
> # Suivre s'il faut les instructions de configuration de l'environnement
> opam install ocaml-lsp-server
......@@ -30,4 +34,4 @@ On utilisera VSCode en installant le plugin **OCaml Platform**.
Pour supprimer les lignes verticales d'indentation qui peuvent perturber al'affichage avec les `|` des `match`: aller dans le menu File -> Preferences -> Settings, entrer `editor.guide` dans la zone de recherche et décocher la case "Editor > Guides: Indentation". Vérifiez que vous êtes bien dans l'onglet "User" quand vous décochez la case. Voir le screenshot ci-dessous:
![](files/config_lignes_vscode.png)
![config vs code](files/config_lignes_vscode.png)
......@@ -11,7 +11,8 @@
| jour | heure | type | sujet | supports / remarques |
| ----- | --------------- | ------------- | ------------------------------- | ------------------------------------------------------------------------ |
| 15/01 | 8h | CM1 | Lambda-Calcul | [Diapositives](cm/lifpf-cm1.pdf) |
| | 9h45 | TD1 | Lambda-Calcul | [Sujet](td/lifpf-td1-enonce.pdf), [corrigé](td/lifpf-td1-correction.pdf) |
| | 9h45 | TD1 sauf B | Lambda-Calcul | [Sujet](td/lifpf-td1-enonce.pdf), [corrigé](td/lifpf-td1-correction.pdf) |
| | 11h30 | TD1 Grp B | | Salle TD13 Nautibus |
| 22/01 | 8h | CM2 | OCaml | [Diapositives](cm/lifpf-cm2.pdf), [Script démos](cm/cm2-demo.md) |
| | 9h45 ou 11h30 | TP1 | Prise en main | [Sujet](tp/tp1.md), [corrigé](tp/tp1.ml) |
| 29/01 | 8h | TD2 + Ctrl | Lambda-Calcul | [Sujet](td/lifpf-td2-enonce.pdf), [corrigé](td/lifpf-td2-correction.pdf) |
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment