SATySFi
静的型付きOCaml風syntaxの
組版処理システム
開発者は
@gfngfn
拡張子は
.saty
前身となるものに
Macrodown
がある
github
OCaml実装
Slack
Wiki
『The SATySFibook』
Satyrographos
SATySFi入門
#WIP
https://gfngfn.github.io/ja/posts/2023-10-08-slides-wakate2023-invited/
以下の2つからなる
テキスト部分
LaTeX風
プログラム部分
OCaml風
(package作成とかではなく)ただの利用者はどちらを使うんだ
#??
前者か
mrsekut.icon
https://github.com/gfngfn/SATySFi/wiki/SATySFiの2段組機能
$ satysfi hoge.saty
compileしてpdfを生成
https://zenn.dev/monaqa/articles/2022-04-27-satysfi-bestpractice
ベスプラ
https://github.com/gfngfn/SATySFi/wiki/SATySFiコマンド一覧(仮)
https://www.slideshare.net/bd_gfngfn/satysfi-61
https://github.com/gfngfn/SATySFi/wiki/The-SATySFibook-Web公開版-第1版
Online Editor
http://satysfi-playground.tech/
2019年から更新されていない
VSCode
https://marketplace.visualstudio.com/items?itemName=wraikny.wraikny-satysfi-extension
satysfi-derive
導出木
を書く
https://qiita.com/zptmtr/items/6bbbacb18000e9be4889
https://qiita.com/zptmtr/items/5f64e11c13b677b9f665
https://github.com/yabaitechtokyo/satysfi-derive
可換図式
http://abenori.blogspot.com/2020/12/satysfi.html
https://youz.hatenablog.com/entry/2018/12/11/000000