Seeker's eye
Thursday, 11 July 2013
台風な夕暮れ
一日中 L [ x y ] -> x ≡ y と格闘していたが手がかりは得られず。Agda 難しすぎる。
今日明日、台風なようですが、それほどたいしたことはなく。去年も今頃は、同じようなことを言っていたはずだが、その後、強力な台風でアンテナ飛ばされたのだった。
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment