Mercurial > hg > Papers > 2018 > nozomi-master
directory /paper/ @ 90:f535393e4043
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 fig/
|
drwxr-xr-x | |
|
src/
|
drwxr-xr-x | |
 Makefile
|
818 | -rw-r--r-- |
|
abstract.tex
|
1153 | -rw-r--r-- |
|
abstract_eng.tex
|
820 | -rw-r--r-- |
|
agda.tex
|
36765 | -rw-r--r-- |
|
akasha.tex
|
18777 | -rw-r--r-- |
|
atton-master.pdf
|
650215 | -rw-r--r-- |
|
atton-master.tex
|
3165 | -rw-r--r-- |
|
bussproofs.sty
|
39800 | -rw-r--r-- |
|
cbc-type.tex
|
32472 | -rw-r--r-- |
|
cbc.tex
|
14771 | -rw-r--r-- |
|
escape_agda.rb
|
553 | -rw-r--r-- |
|
history.tex
|
756 | -rw-r--r-- |
|
introduction.tex
|
4464 | -rw-r--r-- |
|
master_paper.sty
|
12885 | -rw-r--r-- |
|
reference.bib
|
7710 | -rw-r--r-- |
|
sources.tex
|
2013 | -rw-r--r-- |
|
summary.tex
|
3189 | -rw-r--r-- |
|
thanks.tex
|
628 | -rw-r--r-- |
|
type.tex
|
16869 | -rw-r--r-- |