Open sattlerc opened 2 years ago
But
\begin{c}
\label{DoubleNegationMonad}
\end{d}
\begin{proof}
Immediate from \ref{Monads}
\begin{c}\label{DoubleNegationMona}
\end{d}
\begin{proof}
Immediate from \ref{Monads}
Curious.
Trivial to "fix", but I don't quite understand what's triggering the problem in the first place.
"Fixed" in 97c0489.
Running
maruku -i itex
on the inputraises an exception: