From 00eba65d7532905f9dd62cb7b579432aeb960ba7 Mon Sep 17 00:00:00 2001 From: aristote Date: Sat, 27 Dec 2025 18:45:35 +0100 Subject: typo --- experience/jobs/2022-03_irif.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'experience/jobs') 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."; } -- cgit v1.2.3