diff options
author | Karl Berry <karl@freefriends.org> | 2022-10-27 20:07:43 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-10-27 20:07:43 +0000 |
commit | ecf5b52dbd9132da03ba53b3e1398d6c815ccf15 (patch) | |
tree | 48d37b21fbbad5c945821a0280238c0e5449bbea /Master/texmf-dist/doc/latex/eolang/README.md | |
parent | 63c77c88a5e8115b019b99b80585deed2d9a9191 (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.md | 6 |
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. |