diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2019-05-25 00:37:12 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-25 00:37:12 +0530 |
| commit | d345ac88c3f99e9c0e655bc6c353abd3d56d9b3e (patch) | |
| tree | fd9f15e6aecdf16545c80dd4a2bb5e7c224db9f9 | |
| parent | 79e936274780c96a6a9417d71ec31d31a3245db4 (diff) | |
| parent | 9b3fc28432fcdf0970bfcc765291ae16139d7746 (diff) | |
Merge pull request #3538 from apeyroux/master
[fr-fr/erlang] fix syntax
| -rw-r--r-- | fr-fr/erlang-fr.html.markdown | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fr-fr/erlang-fr.html.markdown b/fr-fr/erlang-fr.html.markdown index 55453c56..1073d6ad 100644 --- a/fr-fr/erlang-fr.html.markdown +++ b/fr-fr/erlang-fr.html.markdown @@ -28,7 +28,7 @@ lang: fr-fr %% 1. Variables et filtrage par motif %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -(L'équivalent anglais de *filtrage par motif* est *pattern patching*.) +(L'équivalent anglais de *filtrage par motif* est *pattern matching*.) Nb = 42. % Chaque nom de variable doit commencer par une lettre majuscule. @@ -64,7 +64,7 @@ Point = {point, 10, 45}. {point, X, Y} = Point. % X = 10, Y = 45 % On peut utiliser `_` comme caractère joker pour les variables qui ne nous -% intéressent pas. Le symbol `_` est appelé variable muette. Contrairement +% intéressent pas. Le symbole `_` est appelé variable muette. Contrairement % aux variables normales, de multiples apparitions de `_` dans un même motif % ne lient pas nécessairement à la même valeur. Personne = {personne, {nom, {prenom, joe}, {famille, armstrong}}, |