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

最終更新:

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

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