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