Skip to content

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.

About

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

Topics

Resources

License

Stars

Watchers

Forks

Contributors 3

  •  
  •  
  •