summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/eolang/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/eolang/README.md')
-rw-r--r--macros/latex/contrib/eolang/README.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/macros/latex/contrib/eolang/README.md b/macros/latex/contrib/eolang/README.md
index 257b0c163e..86809ceb26 100644
--- a/macros/latex/contrib/eolang/README.md
+++ b/macros/latex/contrib/eolang/README.md
@@ -1,5 +1,5 @@
[![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.sty)](https://ctan.org/pkg/eolang.sty)
+[![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
@@ -16,12 +16,14 @@ and then use in the preamble:
\begin{document}
\begin{phiquation}
x -> [
- \varphi -> |foo|(5),
+ @ -> |foo|(5),
y -> [ \lambda -> M_1 ]].
\end{phiquation}
\end{document}
```
+Otherwise, you can download [`eolang.sty`](https://raw.githubusercontent.com/objectionary/eolang.sty/gh-pages/eolang/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.