7 files changed, 66 insertions, 68 deletions
diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix
index 32d8ddd..6b2612f 100644
--- a/experience/2019-06_lis.nix
+++ b/experience/2019-06_lis.nix
@@ -1,6 +1,4 @@
-{ ... }:
-
-{
+{...}: {
   date = {
     start = {
       year = 2019;
@@ -19,10 +17,12 @@
     url = "https://www.lis-lab.fr/en/home/";
     location = "Luminy, France";
   };
-  supervisors = [{
-    name = "Giuseppe di Molfetta";
-    url = "https://www.giuseppe-dimolfetta.com";
-  }];
+  supervisors = [
+    {
+      name = "Giuseppe di Molfetta";
+      url = "https://www.giuseppe-dimolfetta.com";
+    }
+  ];
   assets = [
     {
       name = "internship report";
@@ -35,6 +35,5 @@
       type = "Publications";
     }
   ];
-  description =
-    "Developed a quantum walker model whose density changes its own environment.";
+  description = "Developed a quantum walker model whose density changes its own environment.";
 }
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index e86fbee..68357fa 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -1,6 +1,4 @@
-{ ... }:
-
-{
+{...}: {
   date = {
     start = {
       year = 2020;
@@ -29,11 +27,12 @@
       url = "https://group-mmm.org/~dubut/";
     }
   ];
-  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.";
+  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 3094556..531c0d8 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/2022-03_irif.nix
@@ -1,6 +1,4 @@
-{ ... }:
-
-{
+{...}: {
   date = {
     start = {
       year = 2022;
@@ -19,15 +17,18 @@
     url = "https://www.irif.fr/en/index";
     location = "Paris, France";
   };
-  supervisors = [{
-    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.";
+  supervisors = [
+    {
+      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.";
 }
diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
index 9b2732e..0836be3 100644
--- a/experience/2022-09_tweag.nix
+++ b/experience/2022-09_tweag.nix
@@ -1,6 +1,4 @@
-{ href, code, ... }:
-
-{
+{href, ...}: {
   date = {
     start = {
       year = 2022;
@@ -19,10 +17,12 @@
     url = "https://www.tweag.io/";
     location = "Paris, France";
   };
-  supervisors = [{
-    name = "Tweag's HAS group";
-    url = "https://www.tweag.io/group/high-assurance-software/";
-  }];
+  supervisors = [
+    {
+      name = "Tweag's HAS group";
+      url = "https://www.tweag.io/group/high-assurance-software/";
+    }
+  ];
   assets = [
     {
       name = "blog post";
@@ -36,6 +36,6 @@
     }
   ];
   description = "Sped-up ${
-      href "https://github.com/tweag/pirouette" "Pirouette"
-    } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
+    href "https://github.com/tweag/pirouette" "Pirouette"
+  } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
 }
diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix
index 0a92d17..9abaa11 100644
--- a/experience/2023-03_irif.nix
+++ b/experience/2023-03_irif.nix
@@ -1,6 +1,4 @@
-{ ... }:
-
-{
+{...}: {
   date = {
     start = {
       year = 2023;
@@ -19,15 +17,18 @@
     url = "https://www.irif.fr/en/index";
     location = "Paris, France";
   };
-  supervisors = [{
-    name = "Daniela Petrişan";
-    url = "https:/www.irif.fr/~petrisan/";
-  }];
-  assets = [{
-    type = "Publications";
-    id = "aristoteFunctorialApproachMinimizing2023";
-    name = "paper";
-  }];
-  description =
-    "Follow-up to my M2's internship: wrote a paper and further explored some open questions as a preparation for my PhD.";
+  supervisors = [
+    {
+      name = "Daniela Petrişan";
+      url = "https:/www.irif.fr/~petrisan/";
+    }
+  ];
+  assets = [
+    {
+      type = "Publications";
+      id = "aristoteFunctorialApproachMinimizing2023";
+      name = "paper";
+    }
+  ];
+  description = "Follow-up to my M2's internship: wrote a paper and further explored some open questions as a preparation for my PhD.";
 }
diff --git a/experience/2023-09_irif.nix b/experience/2023-09_irif.nix
index c9a6235..0ba0040 100644
--- a/experience/2023-09_irif.nix
+++ b/experience/2023-09_irif.nix
@@ -1,6 +1,4 @@
-{ ... }:
-
-{
+{...}: {
   date = {
     start = {
       year = 2023;
@@ -19,10 +17,11 @@
     url = "https://www.irif.fr/en/index";
     location = "Paris, France";
   };
-  supervisors = [{
-    name = "Daniela Petrişan";
-    url = "https:/www.irif.fr/~petrisan/";
-  }];
-  description =
-    "Ongoing. Studying compositionality of monads and its application to effectful programming, in particular within automata theory.";
+  supervisors = [
+    {
+      name = "Daniela Petrişan";
+      url = "https:/www.irif.fr/~petrisan/";
+    }
+  ];
+  description = "Ongoing. Studying compositionality of monads and its application to effectful programming, in particular within automata theory.";
 }
diff --git a/experience/default.nix b/experience/default.nix
index 9f2cfae..11f3e9c 100644
--- a/experience/default.nix
+++ b/experience/default.nix
@@ -1,6 +1,5 @@
-{ make, ... }:
-
-builtins.map (path: make path { }) [
+{make, ...}:
+builtins.map (path: make path {}) [
   ./2019-06_lis.nix
   ./2020-03_nii.nix
   ./2022-03_irif.nix