Mercurial > hg > Papers > 2017 > atton-master
directory /paper/ @ 126:18f872806bc0
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 fig/
|
drwxr-xr-x | |
|
src/
|
drwxr-xr-x | |
 Makefile
|
818 | -rw-r--r-- |
|
abstract.tex
|
2406 | -rw-r--r-- |
|
agda.tex
|
36765 | -rw-r--r-- |
|
akasha.tex
|
19639 | -rw-r--r-- |
|
atton-master.pdf
|
686253 | -rw-r--r-- |
|
atton-master.tex
|
2798 | -rw-r--r-- |
|
bussproofs.sty
|
39800 | -rw-r--r-- |
|
cbc-type.tex
|
33838 | -rw-r--r-- |
|
cbc.tex
|
14231 | -rw-r--r-- |
|
escape_agda.rb
|
553 | -rw-r--r-- |
|
history.tex
|
756 | -rw-r--r-- |
|
introduction.tex
|
4639 | -rw-r--r-- |
|
master_paper.sty
|
12861 | -rw-r--r-- |
|
reference.bib
|
8099 | -rw-r--r-- |
|
sources.tex
|
2019 | -rw-r--r-- |
|
summary.tex
|
3227 | -rw-r--r-- |
|
thanks.tex
|
628 | -rw-r--r-- |
|
type.tex
|
17240 | -rw-r--r-- |