2024-07-24
#夜報
TaPL.ts
実行時エラーの形式的定義、なるほどな〜
型強制意味論 vs 部分集合意味論