Sunday, 6 March 2016

家にいるのも飽きたが...

Ahgda は、

* あ、できた
* やっぱりダメだ

のループをやってるみたい。でも、少しは進んだかな〜 Agda は証明を自分の頭で考えると言うのとちょっと違うので、風邪ひきの時とかに良いようですね。

まぁ、あんまりがんばらない方針で。

今までの経験だと、鼻水は当面抜けないので、どっかで見切りだな。
Post a Comment