Writings
2022
Agdaに入門した
Jan 8, 2022
2020
Standard MLのwithtypeの挙動
Dec 2, 2020
2019
Alice MLのモジュールシステム
Dec 20, 2019
OCamlの型検査は決定不能
Aug 18, 2019
再帰モジュールとは
Mar 23, 2019