Directory macros/latex/contrib/eolang
LaTeX package for 𝜑-calculus
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.
Download the contents of this package in one zip archive (1.8M).
eolang – Formulas and graphs for the EO programming language
This LaTeX package helps you write 𝜑-calculus formulas and SODG graphs for the EO programming language.
Package | eolang |
Repository | https://github.com/objectionary/eolang.sty |
Version | 0.18.2 2024-10-31 |
Licenses | MIT License |
Copyright | 2021–2024 Yegor Bugayenko |
Maintainer | Yegor Bugayenko |
Contained in | TeX Live as eolang MiKTeX as eolang |
Topics | Diagrams Program doc |