diff options
| author | quentin@aristote.fr <quentin@aristote.fr> | 2023-09-17 18:40:48 +0200 |
|---|---|---|
| committer | quentin@aristote.fr <quentin@aristote.fr> | 2023-09-17 18:40:48 +0200 |
| commit | eebffc190776afdb92ef959270c4863bf21a3cf8 (patch) | |
| tree | 68c7bd8fa25b9044213b67c34adba822445c65f2 /experience/2023-09_irif.nix | |
| parent | 7f5f01ef3d3eb56a24db31b7ddf85fc4ce3b37fc (diff) | |
reformat code
Diffstat (limited to 'experience/2023-09_irif.nix')
| -rw-r--r-- | experience/2023-09_irif.nix | 17 |
1 files changed, 8 insertions, 9 deletions
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."; } |