diff options
Diffstat (limited to 'experience')
| -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."; } |