From 7877bfc11bdebb269b77193e2b0ca55eb33830ec Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Sun, 26 Feb 2023 18:57:46 +0100
Subject: end tweag internship and start irif one

in particular, assets now come with a type to differentiate between publications and software
---
 experience/2022-09_tweag.nix | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to 'experience/2022-09_tweag.nix')

diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
index 01fb280..29c7c7b 100644
--- a/experience/2022-09_tweag.nix
+++ b/experience/2022-09_tweag.nix
@@ -1,4 +1,4 @@
-{ href, ... }:
+{ href, code, ... }:
 
 {
   date = {
@@ -11,7 +11,19 @@
     url = "https://www.tweag.io/";
     location = "Paris, France";
   };
-  description = "Ongoing. Speeding-up ${
+  assets = [
+    {
+      name = "blog post";
+      id = "aristoteSmtlibbackendsFasterSMTLIBbased2023";
+      type = "Publications";
+    }
+    {
+      name = "library";
+      id = "aristoteSmtlibbackends2022";
+      type = "Software";
+    }
+  ];
+  description = "Sped-up ${
       href "https://github.com/tweag/pirouette" "Pirouette"
     } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
 }
-- 
cgit v1.2.3