From 66857fcce9159e98ec777a781d8b13b4f37c021d Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Wed, 6 May 2026 19:31:37 +0200
Subject: interaction rules subsection 3.1.2

---
 chapters/03-core.tex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'chapters/03-core.tex')

diff --git a/chapters/03-core.tex b/chapters/03-core.tex
index 9369522..d8913d3 100644
--- a/chapters/03-core.tex
+++ b/chapters/03-core.tex
@@ -6,3 +6,5 @@
 \input{chapters/core/01-implementation}
 
 \input{chapters/core/02-soundness-proof}
+
+\input{chapters/core/03-benchmarks}
-- 
cgit v1.2.3