moved

.github/workflows/latexmk.yml

@@ -0,0 +1,21 @@
+name: latexmk
+on:
+  push:
+    branches: master
+    paths: 'paper/**'
+  pull_request:
+    branches: master
+    paths: 'paper/**'
+concurrency:
+  group: latexmk-${{ github.ref }}
+  cancel-in-progress: true
+jobs:
+  latexmk:
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
+      - uses: yegor256/latexmk-action@0.11.1
+        with:
+          path: paper
+          opts: -pdf
+          depends: paper/DEPENDS.txt

.gitignore

@@ -0,0 +1,19 @@
+.DS_Store
+_minted-*
+*.pdf
+*.bbl
+*.bcf
+*.blg
+*.fdb_latexmk
+*.fls
+*.log
+*.run.xml
+*.aux
+*.pyg
+*.out
+*.synctex.gz
+*.zip
+package/
+iexec.ret
+*-SAVE-ERROR
+_eolang/

.latexmkrc

@@ -0,0 +1,2 @@
+$pdflatex = 'pdflatex %O -interaction=errorstopmode -shell-escape -halt-on-error %S';
+$success_cmd = 'texqc && texsc';

.proselintrc

@@ -0,0 +1,5 @@
+{
+  "checks": {
+    "typography.symbols.curly_quotes": false
+  }
+}

.texsc

@@ -0,0 +1,16 @@
+--pws=aspell.en.pws
+--ignore=nospell
+--ignore=equation*
+--ignore=ffcode
+--ignore=setminted
+--ignore=opt,grp,T,V,few,RE
+--ignore=newminted:opp
+--ignore=newtcbox:pp
+--ignore=settopmatter
+--ignore=CJK
+--ignore=lref:p,lrefs:pp
+--ignore=tikzstyle,tikzpicture,usetikzlibrary,phigure
+--ignore=tikz:op
+--ignore=textcolor:pp
+--ignore=newmdenv:op
+--ignore=f,code,nospell,citet,citep

DEPENDS.txt

@@ -0,0 +1,53 @@
+hard acmart
+hard algorithmicx
+hard algpseudocodex
+hard anyfontsize
+hard babel-russian
+hard biber
+hard cancel
+hard catchfile
+hard cjk
+hard cm-super
+hard comment
+hard csquotes
+hard currfile
+hard cyrillic
+hard datetime
+hard enumitem
+hard environ
+hard fdsymbol
+hard ffcode
+hard fmtcount
+hard footmisc
+hard framed
+hard fvextra
+hard href-ul
+hard hyperxmp
+hard hyphen-russian
+hard iexec
+hard ifmtarg
+hard lastpage
+hard lh
+hard libertine
+hard makecell
+hard ncctools
+hard paralist
+hard pgf
+hard pgfopts
+hard preprint
+hard stmaryrd
+hard svg
+hard textpos
+hard tikzfill
+hard titling
+hard to-be-determined
+hard totpages
+hard transparent
+hard trimspaces
+hard upquote
+hard wrapfig
+hard xstring
+hard cleveref
+hard adjustbox
+hard bibcop
+hard silence

Makefile

@@ -0,0 +1,58 @@
+# The MIT License (MIT)
+#
+# Copyright (c) 2016-2024 Objectionary.com
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included
+# in all copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+.SHELLFLAGS=-e -x -c
+.ONESHELL:
+.PHONY: clean
+SHELL=bash
+
+TLROOT=$$(kpsewhich -var-value TEXMFDIST)
+PACKAGES=ffcode to-be-determined href-ul iexec eolang bibcop
+REPO=objectionary/eo
+
+gsed=$(if $(shell which gsed),gsed,sed)
+
+zip: *.tex sections/*.tex
+	rm -rf package
+	mkdir package
+	cd package
+	cp ../eolang-paper.tex .
+	cp ../phigure.sty .
+	cp ../main.bib .
+	for p in $(PACKAGES); do cp $(TLROOT)/tex/latex/$${p}/$${p}.sty .; done
+	cp -r ../sections .
+	version=$$(curl --silent -H "Accept: application/vnd.github.v3+json" https://api.github.com/repos/$(REPO)/releases/latest | jq -r '.tag_name')
+	echo "Version is: $${version}"
+	${gsed} -i "s|0\.0\.0|$${version}|g" eolang-paper.tex
+	${gsed} -i "s|REPOSITORY|$(REPO)|g" eolang-paper.tex
+	pdflatex -shell-escape -halt-on-error eolang-paper.tex > /dev/null
+	bibtex eolang-paper
+	pdflatex -halt-on-error eolang-paper.tex > /dev/null
+	pdflatex -halt-on-error eolang-paper.tex > /dev/null
+	rm -rf *.aux *.bcf *.blg *.fdb_latexmk *.fls *.log *.run.xml *.out *.exc
+	zip -x eolang-paper.pdf -r paper-$${version}.zip *
+	mv paper-$${version}.zip ..
+	cd ..
+
+clean:
+	git clean -dfX
+

README.md

@@ -0,0 +1,29 @@
+<img alt="logo" src="https://www.objectionary.com/cactus.svg" height="100px" />
+
+[![arXiv](https://img.shields.io/badge/arXiv-2111.13384-green.svg)](https://arxiv.org/abs/2111.13384)
+[![make](https://github.com/objectionary/eo/actions/workflows/latexmk.yml/badge.svg)](https://github.com/objectionary/eo/actions/workflows/latexmk.yml)
+
+This is a more or less formal description of EOLANG and φ-calculus.
+
+To build it, just run:
+
+```bash
+make
+```
+
+You need to have
+[LaTeX](https://www.latex-project.org/get/),
+[`aspell`](http://aspell.net/),
+[`jq`](https://stedolan.github.io/jq/),
+[`biblint`](https://github.com/Kingsford-Group/biblint),
+[`texsc`](https://rubygems.org/gems/texsc),
+and
+[`texqc`](https://rubygems.org/gems/texqc)
+installed.
+
+You may also want to check whether your LaTeX installation has
+all the packages required [in here](https://github.com/objectionary/eo/blob/master/.github/workflows/latexmk.yml).
+If you miss any of them, install, for example, with the help of
+[`tlmgr`](https://tug.org/texlive/tlmgr.html).
+
+Once compiled and packaged, upload zip archive to [arXiv](https://arxiv.org/abs/2111.13384).

aspell.en.pws

@@ -0,0 +1,60 @@
+personal_ws-1.1 en 741 utf-8
+Yegor
+Bugayenko
+EOLANG
+Huawei
+boolean
+destructors
+runtime
+prepended
+varargs
+getters
+mixins
+whitespace
+MySQL
+reusability
+Simula
+LLVM
+GraalVM
+Smalltalk
+Pharo
+OCaml
+polymorphism
+EBNF
+instantiation
+modularity
+superclasses
+superclass
+Rubocop
+Checkstyle
+ctor
+ctors
+NULLs
+dataization
+vectorization
+metas
+untab
+ISBN
+decomposable
+cardinality
+ANTLR
+XSLT
+objectionary
+bytecode
+OpenJDK
+classpath
+vertice
+stylesheets
+xshift
+yshift
+stdout
+arity
+XMIR
+eXtensible
+SODGs
+GOTO
+unary
+decoratee
+cmtt
+attr
+acmart