SATySFi でいつでも湯婆婆するためのリポジトリです。 Gitpod を使うことで、手元に SATySFi の環境がなくても手軽に文書を組むことができます。

yubaba.saty を自由に編集し、ターミナル上で satysfi yubaba.saty とすることでPDF (yubaba.pdf) を生成できます。 SATySFi の docker image を使用しているため、 opam / satyrographos コマンドで他のパッケージを入れることもできます。

※ 上の gif 画像では比較的短時間でビルド出来ていますが、初回ビルド時には5分ほど時間がかかります。