diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-12-27 18:45:35 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-12-27 18:45:35 +0100 |
| commit | 00eba65d7532905f9dd62cb7b579432aeb960ba7 (patch) | |
| tree | 7bd71040b11447c3ca7127f8efca87625d7b56d4 /experience/jobs/2022-03_irif.nix | |
| parent | ae3381af14c229f8ae8c20408720ae5c2aade8fa (diff) | |
typo
Diffstat (limited to 'experience/jobs/2022-03_irif.nix')
| -rw-r--r-- | experience/jobs/2022-03_irif.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/experience/jobs/2022-03_irif.nix b/experience/jobs/2022-03_irif.nix index f989225..39549ef 100644 --- a/experience/jobs/2022-03_irif.nix +++ b/experience/jobs/2022-03_irif.nix @@ -31,5 +31,5 @@ type = "Writings"; } ]; - description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms."; + description = "Generalized a categorical framework for the minimization and active learning of transition systems and instantiated it to develop new such algorithms."; } |