（默）

updated 2010-01-08 01:33 the next most important
TODO would be reading Agda's source, since i didn't
touch it for a couple of days, and i "think"
i've already known monad transformer enough.
i'll put other things to weekend unless i have
enough progress in Agda. and.. yes, i should
consider the last action mentioned on the bottom
of this post.

* * *

梵字与美・封印テープ
提供メガネ
護身用印鑑
げんれい工房・架空製品

Cockatiel sings Victorys Fanfare(Final Fantasy)
Cockatiel sings Theme of Chocobo(Final Fantasy)
Obliterator: The Minigun

Gödel numbering
Church encoding
Patterns: The Top Ten Misconceptions

i am wondering why my time would get lost in void.
oh, i should have known that, probably because of adium.
should i turn it off when i didn't feel there's plenty of
time? just email me then..? back to the invisible world?