5 files changed, 71 insertions, 30 deletions

diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix
index 0f446fc..32d8ddd 100644
--- a/experience/2019-06_lis.nix
+++ b/experience/2019-06_lis.nix
@@ -2,8 +2,16 @@
 
 {
   date = {
-    start = "2019-06-01";
-    end = "2019-07-31";
+    start = {
+      year = 2019;
+      month = 6;
+      day = 1;
+    };
+    end = {
+      year = 2019;
+      month = 7;
+      day = 31;
+    };
   };
   institution = {
     position = "research intern in Natural Computing";
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index fb6e50d..e86fbee 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -2,8 +2,16 @@
 
 {
   date = {
-    start = "2020-03-01";
-    end = "2020-07-31";
+    start = {
+      year = 2020;
+      month = 3;
+      day = 1;
+    };
+    end = {
+      year = 2020;
+      month = 7;
+      day = 31;
+    };
   };
   institution = {
     position = "research intern in Applied Category Theory";
@@ -11,19 +19,21 @@
     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 = [
+  supervisors = [
+    {
+      name = "Ichiro Hasuo";
+      url = "https://group-mmm.org/~ichiro/";
+    }
     {
-      name = "internship report";
-      id = "aristoteFibrationalFrameworkNested2020";
-      type = "Publications";
+      name = "Jérémy Dubut";
+      url = "https://group-mmm.org/~dubut/";
     }
   ];
-  description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
+  assets = [{
+    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.";
 }
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix
index f2f2d4e..3094556 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/2022-03_irif.nix
@@ -2,8 +2,16 @@
 
 {
   date = {
-    start = "2022-03-14";
-    end = "2022-07-31";
+    start = {
+      year = 2022;
+      month = 3;
+      day = 14;
+    };
+    end = {
+      year = 2022;
+      month = 7;
+      day = 31;
+    };
   };
   institution = {
     position = "research intern in Applied Category Theory";
@@ -15,12 +23,11 @@
     name = "Daniela Petrişan";
     url = "https:/www.irif.fr/~petrisan/";
   }];
-  assets = [
-    {
-      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.";
+  assets = [{
+    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.";
 }
diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
index 5fdb692..9b2732e 100644
--- a/experience/2022-09_tweag.nix
+++ b/experience/2022-09_tweag.nix
@@ -2,8 +2,16 @@
 
 {
   date = {
-    start = "2022-09-14";
-    end = "2023-02-24";
+    start = {
+      year = 2022;
+      month = 9;
+      day = 14;
+    };
+    end = {
+      year = 2023;
+      month = 2;
+      day = 24;
+    };
   };
   institution = {
     position = "Software Engineering intern";
diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix
index a8dbc6c..a1159af 100644
--- a/experience/2023-03_irif.nix
+++ b/experience/2023-03_irif.nix
@@ -2,8 +2,16 @@
 
 {
   date = {
-    start = "2023-02-27";
-    end = "2023-07-28";
+    start = {
+      year = 2023;
+      month = 2;
+      day = 27;
+    };
+    end = {
+      year = 2023;
+      month = 7;
+      day = 28;
+    };
   };
   institution = {
     position = "research intern in Applied Category Theory";