Skip to content

About

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

Topics

Resources

Stars

11 stars

Watchers

3 watching

Forks

Latest commit

ย 

History

730 Commits

Folders and files

NameName
Last commit message
Last commit date
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 

Repository files navigation

LaTeX package for EOLANG and ๐œ‘-calculus

l3build CTAN License

This LaTeX package helps you write ๐œ‘-calculus formulas and draw SODG graphs for EOLANG 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.

Currently, @yegor256 is the maintainer of the project.

About

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

Topics

Resources

Stars

11 stars

Watchers

3 watching

Forks

Releases

Used by

Contributors

Languages