From eebffc190776afdb92ef959270c4863bf21a3cf8 Mon Sep 17 00:00:00 2001 From: "quentin@aristote.fr" Date: Sun, 17 Sep 2023 18:40:48 +0200 Subject: reformat code --- experience/2020-03_nii.nix | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) (limited to 'experience/2020-03_nii.nix') 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."; } -- cgit v1.2.3