diff options
| author | quentin@aristote.fr <quentin@aristote.fr> | 2023-08-20 14:27:53 +0200 |
|---|---|---|
| committer | quentin@aristote.fr <quentin@aristote.fr> | 2023-08-20 17:11:33 +0200 |
| commit | 1b58988cc70068e43c479809f3b3fa34bc5ff11d (patch) | |
| tree | 5a5abf9ba1fa3808be621dd2a3a3cdc6503eb162 /experience/2022-03_irif.nix | |
| parent | 00348ab9a2d66c41d61788455acfe6cfadad13c6 (diff) | |
change api to accomodate for tex cv
Diffstat (limited to 'experience/2022-03_irif.nix')
| -rw-r--r-- | experience/2022-03_irif.nix | 27 |
1 files changed, 17 insertions, 10 deletions
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix index f2f2d4e..3094556 100644 --- a/experience/2022-03_irif.nix +++ b/experience/2022-03_irif.nix @@ -2,8 +2,16 @@ { date = { - start = "2022-03-14"; - end = "2022-07-31"; + start = { + year = 2022; + month = 3; + day = 14; + }; + end = { + year = 2022; + month = 7; + day = 31; + }; }; institution = { position = "research intern in Applied Category Theory"; @@ -15,12 +23,11 @@ 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."; + 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."; } |
