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/2023-03_irif.nix | 29 +++++++++++++++-------------- 1 file changed, 15 insertions(+), 14 deletions(-) (limited to 'experience/2023-03_irif.nix') 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."; } -- cgit v1.2.3