log

age author description
2014-01-11 Shinji KONO add fig default tip
2014-01-10 Shinji KONO add monad
2014-01-09 Shinji KONO add presentation
2013-12-05 Shinji KONO done!
2013-12-05 Shinji KONO hoi
2013-12-05 Shinji KONO add agda source conversion
2013-12-05 Shinji KONO on going..
2013-12-05 Shinji KONO on oging
2013-12-03 Shinji KONO on going...
2013-12-02 Shinji KONO on going...
2013-12-01 Shinji KONO writing...
2013-11-28 Shinji KONO fix
2013-11-28 Shinji KONO Prosym paper 2013