log

age author 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