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/2022-09_tweag.nix | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'experience/2022-09_tweag.nix') 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."; } -- cgit v1.2.3