summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/eolang/README.md
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-10-27 20:07:43 +0000
committerKarl Berry <karl@freefriends.org>2022-10-27 20:07:43 +0000
commitecf5b52dbd9132da03ba53b3e1398d6c815ccf15 (patch)
tree48d37b21fbbad5c945821a0280238c0e5449bbea /Master/texmf-dist/doc/latex/eolang/README.md
parent63c77c88a5e8115b019b99b80585deed2d9a9191 (diff)
eolang (27oct22)
git-svn-id: svn://tug.org/texlive/trunk@64834 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/eolang/README.md')
-rw-r--r--Master/texmf-dist/doc/latex/eolang/README.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/eolang/README.md b/Master/texmf-dist/doc/latex/eolang/README.md
index 257b0c163e3..86809ceb26f 100644
--- a/Master/texmf-dist/doc/latex/eolang/README.md
+++ b/Master/texmf-dist/doc/latex/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.