From 313046d9f63482f32f7bf811ab93ff5b403f8a79 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Sun, 27 Jul 2025 15:38:51 +0200
Subject: Publications -> Writings

---
 experience/2020-03_nii.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index 68357fa..0324f3d 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -31,7 +31,7 @@
     {
       name = "internship report";
       id = "aristoteFibrationalFrameworkNested2020";
-      type = "Publications";
+      type = "Writings";
     }
   ];
   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