[1] GitHub - gfngfn/SATySFi: A statically-typed, functional typesetting system, https://github.com/gfngfn/SATySFi
[2] SATySFiに関すること #SATySFi - Qiita, https://qiita.com/puripuri2100/items/a63e0c48f245dfcb0446
[3] satysfi-grammar.md · GitHub, https://gist.github.com/qnighy/951d1ee5a7ee7c8f95bb323e881eaf8a
[4] 癖が強くて独特のシステムに見えるけど入門的なドキュメントが整備されてなくてよくわからないなあ