summaryrefslogtreecommitdiff
path: root/experience/2022-03_irif.nix
diff options
context:
space:
mode:
authorQuentin Aristote <quentin@aristote.fr>2023-02-26 18:57:46 +0100
committerQuentin Aristote <quentin@aristote.fr>2023-02-26 18:57:46 +0100
commit7877bfc11bdebb269b77193e2b0ca55eb33830ec (patch)
treeee69ba8f830ae44fbde9809e07f7e52dd82cce4e /experience/2022-03_irif.nix
parent4f91bd86bbe9bc3e7fdc04916f244ace13a92a15 (diff)
end tweag internship and start irif one
in particular, assets now come with a type to differentiate between publications and software
Diffstat (limited to 'experience/2022-03_irif.nix')
-rw-r--r--experience/2022-03_irif.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix
index 682d652..f2f2d4e 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/2022-03_irif.nix
@@ -19,6 +19,7 @@
{
name = "internship report";
id = "aristoteApplicationsCategoricalFramework2022";
+ type = "Publications";
}
];
description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms.";