From 00439f8eacc04bee31dad6cb476d6f23f0b868dd Mon Sep 17 00:00:00 2001 From: ericmarin Date: Tue, 5 May 2026 10:52:37 +0200 Subject: core chapter skeleton --- chapters/core/implementation/02-interaction-rules.tex | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 chapters/core/implementation/02-interaction-rules.tex (limited to 'chapters/core/implementation/02-interaction-rules.tex') diff --git a/chapters/core/implementation/02-interaction-rules.tex b/chapters/core/implementation/02-interaction-rules.tex new file mode 100644 index 0000000..bef0970 --- /dev/null +++ b/chapters/core/implementation/02-interaction-rules.tex @@ -0,0 +1,4 @@ +\subsection{Interaction Rules} +\label{sec:interaction-rules} + +% This subsection talks about the interaction rules that implement the symbolic simplification -- cgit v1.2.3