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