log

age author description
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
No more entries