時間割

いや、あんまりカレンダーとか見てないからいけないんだけど。どうも、Google Calendar も macOS のもあんまり動いてなくて。

まぁ、それとは関係なく割と不義理なことしている人なんですが...

　　今日はオンラインで授業始めたら休講だった

たまにわりとある。でも、何人かいたので

　　じゃぁ、なんかやる?

で、学生の Agda の練習を見てました。12月は Game Jam もあるっぽい。

コンパイラの読み会もやるつもりなんですが、いつにしようかな。