log

age author description
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
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
2017-01-28 atton Wrote simple-type
2017-01-28 atton Writing typed expression
2017-01-28 atton Wrote untyped lambda
2017-01-28 atton Wrote untyped expression
2017-01-28 atton Writing expression ...
2017-01-28 atton Writing expression ...
2017-01-28 atton Update TODO
2017-01-28 atton Writing expression ...
2017-01-28 atton Update lambda description
2017-01-27 atton Writing lambda ...
2017-01-26 atton Writing lambda
2017-01-26 atton Add type system description
2017-01-26 atton Add comments on seminar
2017-01-23 atton Add akasha result
2017-01-23 atton Add akasha description
2017-01-23 atton Add rbtree description
2017-01-23 atton Add figure
2017-01-23 atton Add rbtree figure
2017-01-23 atton Add bibliography
2017-01-22 atton Update introduction
2017-01-22 atton Update introduction
2017-01-20 atton Add introduction
2017-01-20 atton Add stub description
2017-01-20 atton Add GearsOS description
2017-01-20 atton Add GearsOS
2017-01-20 atton Add meta computations
2017-01-19 atton Update cbc description
2017-01-19 atton Add goto.cbc and goto.pdf
2017-01-18 atton Update cbc description
2017-01-18 atton Add cbc description
2017-01-17 atton Update table of contents
2017-01-16 atton Mini fixes
2017-01-16 atton Add first table of contents
2017-01-16 atton Add history.tex
2017-01-16 atton Add thanks.tex
2017-01-16 atton Import reference from atton-thesis
2017-01-16 atton Add packages from atton-thesis
2017-01-16 atton Fix title
2017-01-16 atton Import files for compile
2017-01-16 atton Import main tex file from kkb-master
2017-01-16 atton Add .hgignore
2017-01-16 atton Add mindmap