今日から学校

いや、授業は明日かららしいんですが。OSの採点もしないとな。

研究室に行ったら学生がぞろぞろ出ていく。これからお参りだそうです。

で、居残った学生のテーマではないんだけど「たまには違うことやる?」で、Agda をいじってました。

で、帰ってきたそのテーマの学生と続き。いろんなテーマを見てみるのが面白いよね。