summaryrefslogtreecommitdiff
path: root/experience/default.nix
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-08-22 17:08:42 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-08-22 18:00:06 +0200
commitf5ffcc09b782d286e658a5599443bbe711df6281 (patch)
tree972d3cc1435a6fbd62770f525f09787ee2528910 /experience/default.nix
parent1b58988cc70068e43c479809f3b3fa34bc5ff11d (diff)
i am now a phd student
Diffstat (limited to 'experience/default.nix')
-rw-r--r--experience/default.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/experience/default.nix b/experience/default.nix
index b472b45..9f2cfae 100644
--- a/experience/default.nix
+++ b/experience/default.nix
@@ -6,4 +6,5 @@ builtins.map (path: make path { }) [
./2022-03_irif.nix
./2022-09_tweag.nix
./2023-03_irif.nix
+ ./2023-09_irif.nix
]