From 3f7902387cd701539688ecb311cca4118ee0811c Mon Sep 17 00:00:00 2001
From: Eric Zhao <21zhaoe@protonmail.com>
Date: Tue, 10 Oct 2023 03:03:10 -0400
Subject: [PATCH] formalism: Break well-formedness rules across two pages

---
 formalism/typed.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/formalism/typed.tex b/formalism/typed.tex
index 2f639bd..679c20f 100644
--- a/formalism/typed.tex
+++ b/formalism/typed.tex
@@ -40,7 +40,7 @@ \subsubsection{Well-formedness}
 \label{sec:typed-well-formedness}
 \judgbox{\ensuremath{\zWellFormed{\ZCMV}}} $\ZCMV$ is well-formed
 %
-\begin{mathpar}
+\begin{mathparpagebreakable}
   \inferrule[WFCursor]{ }{
     \zWellFormed{\ZCCursor{\ECMV}}
   }
@@ -289,7 +289,7 @@ \subsubsection{Well-formedness}
   }{
     \zWellFormed{\ZProjRSynNonMatchedProd{\ZMV}}
   }
-\end{mathpar}
+\end{mathparpagebreakable}
 
 \subsection{Cursor erasure}
 \label{sec:typed-cursor-erasure}