1 files changed, 24 insertions, 14 deletions
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.";
 }