A book introducing the Egison programming language, available in Japanese and English.
tex/en/— English LaTeX sourcestex/ja/— Japanese LaTeX sourceshtml/en/— generated English HTML editionhtml/ja/— generated Japanese HTML editionscripts/build_html.py— dependency-free HTML generator
Build both the HTML and PDF editions from the repository root:
makeBuild only the HTML editions:
make htmlThe HTML generator requires Python 3. It creates chapter-separated static pages,
copies the figures, and generates the contents, bibliography, and index pages.
Edit files under tex/, then run make html to refresh the checked-in HTML.
Mathematical notation is rendered in the browser using MathJax.
Build only the PDF editions:
make texThe TeX builds require platex, pbibtex, makeindex, and dvipdfmx.
Individual editions can also be built with make -C tex/en and
make -C tex/ja.