Mercurial > hg > Papers > 2017 > atton-master
graph
-
Split cbc-type.tex2017-02-01, by atton
-
Add pdf2017-01-31, by atton
-
Add reasoning2017-01-31, by atton
-
Writing agda description ......2017-01-31, by atton
-
Writing agda description ...2017-01-31, by atton
-
Writing agda description2017-01-31, by atton
-
Writing Agda description2017-01-31, by atton
-
Add natural deduction and curry-howard isomorphism2017-01-31, by atton
-
Add agda.tex2017-01-30, by atton
-
Wrote type.tex2017-01-30, by atton
-
Mini fixes2017-01-30, by atton
-
Wrote subtype2017-01-30, by atton
-
Writing subtype2017-01-29, by atton
-
Add record2017-01-29, by atton
-
Wrote typed-lambda2017-01-29, by atton
-
Writing typed-lambda2017-01-29, by atton
-
Wrote simple-type2017-01-28, by atton
-
Writing typed expression2017-01-28, by atton
-
Wrote untyped lambda2017-01-28, by atton
-
Wrote untyped expression2017-01-28, by atton
-
Writing expression ...2017-01-28, by atton
-
Writing expression ...2017-01-28, by atton
-
Update TODO2017-01-28, by atton
-
Writing expression ...2017-01-28, by atton
-
Update lambda description2017-01-28, by atton
-
Writing lambda ...2017-01-27, by atton
-
Writing lambda2017-01-26, by atton
-
Add type system description2017-01-26, by atton
-
Add comments on seminar2017-01-26, by atton
-
Add akasha result2017-01-23, by atton
-
Add akasha description2017-01-23, by atton
-
Add rbtree description2017-01-23, by atton
-
Add figure2017-01-23, by atton
-
Add rbtree figure2017-01-23, by atton
-
Add bibliography2017-01-23, by atton
-
Update introduction2017-01-22, by atton
-
Update introduction2017-01-22, by atton
-
Add introduction2017-01-20, by atton
-
Add stub description2017-01-20, by atton
-
Add GearsOS description2017-01-20, by atton
-
Add GearsOS2017-01-20, by atton
-
Add meta computations2017-01-20, by atton
-
Update cbc description2017-01-19, by atton
-
Add goto.cbc and goto.pdf2017-01-19, by atton
-
Update cbc description2017-01-18, by atton
-
Add cbc description2017-01-18, by atton
-
Update table of contents2017-01-17, by atton
-
Mini fixes2017-01-16, by atton
-
Add first table of contents2017-01-16, by atton
-
Add history.tex2017-01-16, by atton
-
Add thanks.tex2017-01-16, by atton
-
Import reference from atton-thesis2017-01-16, by atton
-
Add packages from atton-thesis2017-01-16, by atton
-
Fix title2017-01-16, by atton
-
Import files for compile2017-01-16, by atton
-
Import main tex file from kkb-master2017-01-16, by atton
-
Add .hgignore2017-01-16, by atton
-
Add mindmap2017-01-16, by atton