第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022, https://jssst-ppl.org/workshop/2022/index.html )にて招待講演として発表させて頂いた際のスライドです. 以下のページでも閲覧可能です: https://gfngfn.github.io/ja/posts/2022-05-11-slides-ppl2022-invited/Read less
This document discusses SATySFi, a static analysis-based typesetting system for functional implementation. It provides an overview of SATySFi's features such as being a better LaTeX alternative, using OCaml for its implementation, and supporting Unicode, OpenType features, and dynamic typesetting through a domain specific language. The document also outlines some areas for future work such as impr
この記事は SATySFi Advent Calendar 2019 3日目の記事です。 2日目はSATySFiの作者であるgfngfnさんによるSATySFiの2段組機能でした。 追記 2020/12/08: satysfi-docker から docker-satysfi に名前を変更しました。以降の文章は面倒なので satysfi-docker のままですが、今後書く文章には docker-satysfi を使います。 前置き SATySFi をインストールするためには opam と OCaml コンパイラのインストールが必要ですが、OCaml を使わない人にとっては SATySFi のためだけに opam 環境を入れるのは面倒です。 opam をすでに使っている人にとっても、SATySFi のインストールには専用の opam repository を使うので環境を分けるために SA
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く