Mercurial > hg > Papers > 2017 > atton-master
log
age | author | description |
---|---|---|
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 |
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-02-01 | atton | Add normal level goto |
2017-02-01 | atton | Mini fixes |
2017-02-01 | atton | Writing cs/ds in agda |
2017-02-01 | atton | Split cbc-type.tex |
2017-01-31 | atton | Add pdf |
2017-01-31 | atton | Add reasoning |
2017-01-31 | atton | Writing agda description ...... |
2017-01-31 | atton | Writing agda description ... |
2017-01-31 | atton | Writing agda description |
2017-01-31 | atton | Writing Agda description |
2017-01-31 | atton | Add natural deduction and curry-howard isomorphism |
2017-01-30 | atton | Add agda.tex |
2017-01-30 | atton | Wrote type.tex |
2017-01-30 | atton | Mini fixes |
2017-01-30 | atton | Wrote subtype |
2017-01-29 | atton | Writing subtype |
2017-01-29 | atton | Add record |
2017-01-29 | atton | Wrote typed-lambda |
2017-01-29 | atton | Writing typed-lambda |