diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2023-02-26 18:57:46 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2023-02-26 18:57:46 +0100 |
| commit | 7877bfc11bdebb269b77193e2b0ca55eb33830ec (patch) | |
| tree | ee69ba8f830ae44fbde9809e07f7e52dd82cce4e /experience/2020-03_nii.nix | |
| parent | 4f91bd86bbe9bc3e7fdc04916f244ace13a92a15 (diff) | |
end tweag internship and start irif one
in particular, assets now come with a type to differentiate between publications and software
Diffstat (limited to 'experience/2020-03_nii.nix')
| -rw-r--r-- | experience/2020-03_nii.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix index 95b641c..fb6e50d 100644 --- a/experience/2020-03_nii.nix +++ b/experience/2020-03_nii.nix @@ -22,6 +22,7 @@ { name = "internship report"; id = "aristoteFibrationalFrameworkNested2020"; + type = "Publications"; } ]; description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games."; |