この記事は SATySFi Advent Calendar 2020 の13日目の記事です。 SATySFi ユーザのみなさま今年も amutake/satysfi (以降 docker-satysfi) をご利用いただきありがとうございました (docker-satysfi は SATySFi と Satyrographos (SATySFi のパッケージマネ…

これは SATySFi Advent Calendar 23 日目の記事です (なぜか12月12日付の記事になっていますが23日目の記事です…)。 22日目は zr_tex8r さんの徹底検証！ SATySFiはLaTeXの代わりになるかでした。 24日目は monaqa さんの予定です。 私は進捗大陸という技術…

この記事は SATySFi Advent Calendar 2020 8日目の記事です。7日目は abenori さんによるSATySFiで可換図式でした。9日目は fiveseven さんの予定です。 表題の通り、SATySFi で書かれた本などのまとめを作ってみました。こちらのリンクにあります。 最新の…

(これは主に自分の備忘のための記事です) 最近出た opam-bin を使って、opam で satysfi パッケージをインストールできる小さい docker image を作りました。satysfi-docker の opam-slim タグです (experimental 扱い)。 satysfi-docker については satysfi…