diff options
Diffstat (limited to 'experience/default.nix')
| -rw-r--r-- | experience/default.nix | 1 |
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 ] |