Mercurial > hg > Papers > 2013 > kono-prosym
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 |