blob: 1d71ee78179fb0b1c95219cb4e3cb1a8ca34efc9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# LaTeX package for 𝜑-calculus
[![l3build](https://github.com/objectionary/eolang.sty/actions/workflows/l3build.yml/badge.svg)](https://github.com/objectionary/eolang.sty/actions/workflows/l3build.yml)
[![CTAN](https://img.shields.io/ctan/v/eolang)](https://ctan.org/pkg/eolang)
[![License](https://img.shields.io/badge/license-MIT-green.svg)](https://github.com/objectionary/eolang.sty/blob/master/LICENSE.txt)
This LaTeX package helps you write 𝜑-calculus formulas and
draw [SODG](https://github.com/objectionary/sodg) graphs
for [EO](https://www.eolang.org) programming language.
First, [install it][install]
from [CTAN](https://ctan.org/pkg/eolang)
and then use in the preamble:
```tex
\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`][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.
[install]: https://en.wikibooks.org/wiki/LaTeX/Installing_Extra_Packages
[sty]: https://objectionary.github.io/eolang.sty/eolang.sty
|