SATySFi

Tags: 2次創作 erlang latex satysfi sesterl tex スライド プロメア レコード計算 レタリング ロゴタイプ 型システム 型推論 多段階計算 少女歌劇レヴュースタァライト 所感 東京市会 組版 落描き 言語処理系 記事

SATySFi v0.1.0に向けたラベルつきオプション引数の型システム

SATySFi v0.1.0に向けてオプション引数に関する言語設計を非互換に改めつつあるので,その紹介をします.

初出: