diff --git a/CONFIGURATION.md b/CONFIGURATION.md index a5b5f382a1525f8b52080597cc4619fa4441cfb0..2256c2a7edff11bb498804eee3acaeb936ea9202 100644 --- a/CONFIGURATION.md +++ b/CONFIGURATION.md @@ -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: - + diff --git a/README.md b/README.md index fa15a66bdc0ce08ff3b74faac39a5ee9eb775381..a7ce0d6873623dead8f5fe5eb3ef78d1d2f6ffe1 100644 --- a/README.md +++ b/README.md @@ -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) |