diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-07-27 15:38:51 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-07-27 15:38:51 +0200 |
| commit | 313046d9f63482f32f7bf811ab93ff5b403f8a79 (patch) | |
| tree | a51926776f1e8c50dabfec58930f5f236c1f5d95 /experience/2022-09_tweag.nix | |
| parent | f9d5943d2ba2cf8a756a7b2ed97f4d9327ec4025 (diff) | |
Publications -> Writings
Diffstat (limited to 'experience/2022-09_tweag.nix')
| -rw-r--r-- | experience/2022-09_tweag.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix index 0836be3..bc7c000 100644 --- a/experience/2022-09_tweag.nix +++ b/experience/2022-09_tweag.nix @@ -27,7 +27,7 @@ { name = "blog post"; id = "aristoteSmtlibbackendsFasterSMTLIBbased2023"; - type = "Publications"; + type = "Writings"; } { name = "library"; |