Open andrewbutterfield opened 8 years ago
Any plans to add support for literate CSPm - so we can embed it in LaTeX docs? Just like Haskell's lhs but using the \begin{code}...\end{code} form, rather than bird-tracks. For CSP it could be \begin{cspm} . . . \end{cspm}
Any plans to add support for literate CSPm - so we can embed it in LaTeX docs? Just like Haskell's lhs but using the \begin{code}...\end{code} form, rather than bird-tracks. For CSP it could be \begin{cspm} . . . \end{cspm}