log
graph
tags
bookmarks
branches
changeset
browse
help
Mercurial
>
hg
>
Papers
>
2017
>
atton-master
log
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
| rev 60:
(0)
+60
tip
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
less
more
| rev 60:
(0)
+60
tip