diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-08-01 12:44:41 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-08-01 12:44:41 +0200 |
| commit | 7132af9e3a7f84cebe287b3174f2d4a9c25252ca (patch) | |
| tree | 7d7ef9c12a37289725f0773049f50f2c3717c629 /experience/2022-09_tweag.nix | |
| parent | ac54a9c2e1f1dd6abd56be9f9a02c7741ab9b731 (diff) | |
| parent | 152a5c4697c257b7eeb91ad1a3dca74c44973f91 (diff) | |
Merge branch 'new-pub-format'
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"; |