Mercurial > hg > Papers > 2018 > nozomi-master
log
| age | author | description |
|---|---|---|
| 2017-02-16 | atton | Added tag presentation for changeset 7ab9767dc9f9 |
| 2017-02-14 | atton | Update slide presentation |
| 2017-02-14 | atton | Update slide |
| 2017-02-14 | atton | Update slide |
| 2017-02-14 | atton | Update slide |
| 2017-02-14 | atton | Update slide |
| 2017-02-13 | atton | Update slide |
| 2017-02-13 | atton | Fix specification |
| 2017-02-13 | atton | Adjust color |
| 2017-02-13 | atton | Update slide |
| 2017-02-13 | atton | Add Makefile |
| 2017-02-13 | atton | Writing slide... |
| 2017-02-13 | atton | Fix akasha |
| 2017-02-13 | atton | Merge |
| 2017-02-13 | atton | Second paper review |
| 2017-02-13 | atton | Fix |
| 2017-02-13 | atton | Add () |
| 2017-02-13 | atton | Fix return |
| 2017-02-13 | atton | Writing slide... |
| 2017-02-13 | atton | Fix cover |
| 2017-02-13 | atton | Added tag teacher-submit for changeset 0ab2de92120b |
| 2017-02-13 | atton | Added tag 1F-submit for changeset 0a4646310261 teacher-submit |
| 2017-02-12 | atton | Generate slide |
| 2017-02-12 | atton | Writing slide ... |
| 2017-02-12 | atton | Update |
| 2017-02-12 | atton | Self review |
| 2017-02-12 | atton | Update |
| 2017-02-12 | atton | Update abstract |
| 2017-02-10 | Shinji KONO | fix |
| 2017-02-10 | atton | Update 1F-submit |
| 2017-02-09 | atton | Update |
| 2017-02-09 | atton | Fix |
| 2017-02-09 | atton | Update |
| 2017-02-09 | atton | Add figure |
| 2017-02-09 | atton | Update |
| 2017-02-09 | atton | Add figure meta-hierarchy |
| 2017-02-09 | atton | Fix |
| 2017-02-09 | atton | Add figure |
| 2017-02-09 | atton | Update fig |
| 2017-02-09 | atton | Fix lstinput |
| 2017-02-09 | atton | Update curry-howard isomorphism |
| 2017-02-09 | atton | Update type.tex |
| 2017-02-09 | atton | Add simple/sub type description |
| 2017-02-08 | atton | Update |
| 2017-02-08 | atton | Update |
| 2017-02-08 | atton | Update summary |
| 2017-02-08 | atton | Update agda description |
| 2017-02-08 | atton | Reconstruct paper |
| 2017-02-08 | atton | Update chapter akasha |
| 2017-02-08 | atton | Add chapter akasha |
| 2017-02-06 | atton | First review |
| 2017-02-06 | atton | Add references |
| 2017-02-06 | atton | Add abstract |
| 2017-02-06 | atton | Add sources |
| 2017-02-06 | atton | Add sample source |
| 2017-02-05 | atton | Add summary |
| 2017-02-04 | atton | Update pdf |
| 2017-02-04 | atton | Update TODO |
| 2017-02-04 | atton | Add proof description |
| 2017-02-04 | atton | Add push/pop description |