Mercurial > hg > Papers > 2018 > nozomi-master
log paper/atton-master.pdf @ 94:2bc816f4af27
age | author | description |
---|---|---|
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 | 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 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 | 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 | Add proof description |
2017-02-04 | atton | Add push/pop description |
2017-02-03 | atton | Add single linked stack |
2017-02-03 | atton | Mini fixes with ryokka-san |
2017-02-03 | atton | Add example of meta code segment execution |
2017-02-03 | atton | Add Meta CodeSegment description |
2017-02-03 | atton | Add Meta DataSegment description |
2017-01-31 | atton | Add pdf |