From 7877bfc11bdebb269b77193e2b0ca55eb33830ec Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Sun, 26 Feb 2023 18:57:46 +0100
Subject: end tweag internship and start irif one

in particular, assets now come with a type to differentiate between publications and software
---
 experience/2020-03_nii.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'experience/2020-03_nii.nix')

diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index 95b641c..fb6e50d 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -22,6 +22,7 @@
     {
       name = "internship report";
       id = "aristoteFibrationalFrameworkNested2020";
+      type = "Publications";
     }
   ];
   description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
-- 
cgit v1.2.3