SATySFi

静的型付け関数型言語を搭載した組版システム

OCamlに似た文法のプログラミング言語でコマンドが書ける