SATySFi v0.1.0 開発進展の現状報告

最終更新：

スライド プログラミング言語 SATySFi 組版 型システム 多段階計算
PDF

SATySFi Conf 2022で発表させて頂いた際のスライドです．