From 526c88258a5e77101d35664851ae4b5bac170b09 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Mon, 24 Nov 2025 18:26:49 +0100
Subject: experience: add academic service

---
 experience/2020-03_nii.nix | 38 --------------------------------------
 1 file changed, 38 deletions(-)
 delete mode 100644 experience/2020-03_nii.nix

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

diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
deleted file mode 100644
index 0324f3d..0000000
--- a/experience/2020-03_nii.nix
+++ /dev/null
@@ -1,38 +0,0 @@
-{...}: {
-  date = {
-    start = {
-      year = 2020;
-      month = 3;
-      day = 1;
-    };
-    end = {
-      year = 2020;
-      month = 7;
-      day = 31;
-    };
-  };
-  institution = {
-    position = "research intern in Applied Category Theory";
-    name = "ERATO MMSD, NII";
-    url = "https://group-mmm.org/eratommsd/";
-    location = "Tōkyō, Japan";
-  };
-  supervisors = [
-    {
-      name = "Ichiro Hasuo";
-      url = "https://group-mmm.org/~ichiro/";
-    }
-    {
-      name = "Jérémy Dubut";
-      url = "https://group-mmm.org/~dubut/";
-    }
-  ];
-  assets = [
-    {
-      name = "internship report";
-      id = "aristoteFibrationalFrameworkNested2020";
-      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