2022/11/13

驚異の一日坊主を打破して日記を復活させます。

ここのところは忙しく、Ergの開発進捗は思わしくありません。 今年中にErg 0.6(コンパイル時関数、ユーザー定義多相型を導入)をリリースする予定でしたが、どうやら無理そうです。

具体的に何で忙しいかというと、

• CGの資格の勉強(大学の授業で期末の代わりに受けることになった)
• アドベントカレンダー記事の執筆

……あれ、これだけですね。あとは(全然乗ってない)免許の更新とワクチン接種のハガキが来たので、それも処理せねば。