diff options
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"; |