summaryrefslogtreecommitdiff
path: root/experience/2022-03_irif.nix
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-08-20 14:27:53 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-08-20 17:11:33 +0200
commit1b58988cc70068e43c479809f3b3fa34bc5ff11d (patch)
tree5a5abf9ba1fa3808be621dd2a3a3cdc6503eb162 /experience/2022-03_irif.nix
parent00348ab9a2d66c41d61788455acfe6cfadad13c6 (diff)
change api to accomodate for tex cv
Diffstat (limited to 'experience/2022-03_irif.nix')
-rw-r--r--experience/2022-03_irif.nix27
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.";
}