diff options
author | Norbert Preining <norbert@preining.info> | 2023-07-02 03:03:46 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-07-02 03:03:46 +0000 |
commit | bf144b430967ee6534dac2d3aefb8d562f27bf46 (patch) | |
tree | 5d2acc80eaa798a4ac09ac79db7e5db10cb32675 /macros/latex/contrib/eolang | |
parent | 3a29216caca37803e25b84a50fd5f7f91ebc04d3 (diff) |
CTAN sync 202307020303
Diffstat (limited to 'macros/latex/contrib/eolang')
-rw-r--r-- | macros/latex/contrib/eolang/eolang.dtx | 12 | ||||
-rw-r--r-- | macros/latex/contrib/eolang/eolang.pdf | bin | 2102365 -> 2103161 bytes |
2 files changed, 8 insertions, 4 deletions
diff --git a/macros/latex/contrib/eolang/eolang.dtx b/macros/latex/contrib/eolang/eolang.dtx index f11125a7e2..3260d2eacc 100644 --- a/macros/latex/contrib/eolang/eolang.dtx +++ b/macros/latex/contrib/eolang/eolang.dtx @@ -50,7 +50,7 @@ %<package>\NeedsTeXFormat{LaTeX2e} %<package>\ProvidesPackage{eolang} %<*package> -[2023-06-17 0.12.2 Formulas and Graphs for EO Programming Language] +[2023-07-01 0.13.0 Formulas and Graphs for EO Programming Language] %</package> %<*driver> \documentclass{ltxdoc} @@ -102,8 +102,8 @@ % \begin{phiquation*} % app -> [[ % it's abstract! % ^ !-> $.b.^{^2}, 0/t~> TRUE, -% b -> [[ *-> fn(56), -% @ -> Q.hello.bye($), +% b -> [[ *-> Q.fn(56), +% @ -> QQ.string.trim($), % D> 01-FE-C3 ]]]],\\ % x -> [[ \lambda ..> ? ]]. % \end{phiquation*} @@ -126,6 +126,8 @@ % (|\varnothing|), % \item ``|Q|'' maps to ``$\Phi$'' % (|\Phi|), +% \item ``|QQ|'' maps to ``$\dot{\Phi}$'' +% (|\dot{\Phi}|), % \item ``|->|'' maps to ``$\mapsto$'' % (|\mapsto|), % \item ``|~>|'' maps to ``$\phiWave$'' @@ -788,6 +790,7 @@ % \changes{0.9.0}{2022/12/15}{Proper handling of the \texttt{matrix} environment.} % \changes{0.9.0}{2022/12/15}{Parsing of \texttt{<<} and \texttt{>>} implemented.} % \changes{0.10.0}{2023/01/22}{Parsing of \texttt{==} into \texttt{\char`\\equiv} implemented.} +% \changes{0.13.0}{2023/06/28}{Parsing of \texttt{QQ} into \texttt{\char`\\dot\{\char`\\Phi\}} implemented.} % Then, we create a Perl script for |phiquation| processing using |VerbatimOut| environment from % \href{https://ctan.org/pkg/fancyvrb}{fancyvrb}: % \begin{macrocode} @@ -796,7 +799,7 @@ $macro = $ARGV[0]; open(my $fh, '<', $ARGV[1]); my $tex; { local $/; $tex = <$fh>; } -print "% This file is auto-generated by 0.12.2\n"; +print "% This file is auto-generated by 0.13.0\n"; print '% There are ', length($tex), ' chars in the input: ', $ARGV[1], "\n"; print '% ---', "\n"; @@ -867,6 +870,7 @@ $tex =~ s/\\text\{(.+)/trep("$1")/ge; if (not $splitting) { $tex =~ s/(?<![{&])&(?![&}])/\\sigma{}/g; } +$tex =~ s/([^\\{a-z0-9]|^)QQ(?![a-z0-9])/\1\\dot{\\Phi{}}/g; $tex =~ s/([^\\{a-z0-9]|^)Q(?![a-z0-9])/\1\\Phi{}/g; $tex =~ s/([^\\{a-z0-9]|^)D>/\1\\Delta{}..>/g; $tex =~ s/([^\\{a-z0-9]|^)L>/\1\\lambda{}..>/g; diff --git a/macros/latex/contrib/eolang/eolang.pdf b/macros/latex/contrib/eolang/eolang.pdf Binary files differindex 79a7500932..1340ebad23 100644 --- a/macros/latex/contrib/eolang/eolang.pdf +++ b/macros/latex/contrib/eolang/eolang.pdf |