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
|