Skip to content

LaTeX package for drawing πœ‘-calculus formulas and SODG graphs

License

Notifications You must be signed in to change notification settings

objectionary/eolang.sty

Repository files navigation

LaTeX package for πœ‘-calculus

l3build CTAN License

This LaTeX package helps you write πœ‘-calculus formulas and draw SODG graphs for EO programming language.

First, install it from CTAN and then use in the preamble:

\documentclass{article}
\usepackage{eolang}
\begin{document}
\begin{phiquation}
x -> [
  @ -> foo(5),
  y -> [ L> M_1 ]].
\end{phiquation}
\end{document}

Otherwise, you can download eolang.sty and add to your project.

If you want to contribute yourself, make a fork, then create a branch, then run l3build ctan in the root directory. It should compile everything without errors. If not, submit an issue and wait. Otherwise, make your changes and then run l3build ctan again. If the build is still clean, submit a pull request.