From 288869cb36008975dfa01e660d07bd45d9a846e3 Mon Sep 17 00:00:00 2001
From: tomsmeding <tom.smeding@gmail.com>
Date: Fri, 18 Aug 2023 17:44:20 +0200
Subject: publications: Add Efficient CHAD preprint

---
 publications.json | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/publications.json b/publications.json
index e8864c0..763a93c 100644
--- a/publications.json
+++ b/publications.json
@@ -4,6 +4,17 @@
     "matthijs": "Matthijs V&aacute;k&aacute;r"
   },
   "pubs": [
+    {
+      "year": 2023,
+      "month": 7,
+      "authors": ["tom", "matthijs"],
+      "title": "Efficient CHAD",
+      "preprint": true,
+      "links": [
+        {"type": "arxiv", "id": "2307.05738"},
+        {"type": "code", "url": "https://github.com/tomsmeding/efficient-chad-agda"}
+      ]
+    },
     {
       "year": 2023,
       "month": 1,
-- 
cgit v1.2.3-54-g00ecf