PPL 2022 招待講演: 静的型つき函数型組版処理システムSATySFiの紹介

最終更新:

スライド 型システム 組版 SATySFi