Mercurial > hg > Papers > 2015 > atton-thesis
directory /paper/ @ 67:b5c04cca699b
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 fig/
|
drwxr-xr-x | |
|
mindmap/
|
drwxr-xr-x | |
|
src/
|
drwxr-xr-x | |
 Makefile
|
558 | -rw-r--r-- |
|
agda.tex
|
27026 | -rw-r--r-- |
|
bibliography.tex
|
101 | -rw-r--r-- |
|
bussproofs.sty
|
39800 | -rw-r--r-- |
|
category.tex
|
11336 | -rw-r--r-- |
|
delta.tex
|
18645 | -rw-r--r-- |
|
delta_with_monad.tex
|
8323 | -rw-r--r-- |
|
functional_programming.tex
|
18995 | -rw-r--r-- |
|
future.tex
|
2340 | -rw-r--r-- |
|
introduction.tex
|
2008 | -rw-r--r-- |
|
main.pdf
|
352367 | -rw-r--r-- |
|
main.tex
|
2025 | -rw-r--r-- |
|
mythesis.sty
|
3279 | -rw-r--r-- |
|
original_sources.tex
|
1287 | -rw-r--r-- |
|
proof_delta.tex
|
20531 | -rw-r--r-- |
|
proof_deltaM.tex
|
1199 | -rw-r--r-- |
|
reference.bib
|
1981 | -rw-r--r-- |
|
replace_agda.rb
|
410 | -rw-r--r-- |
|
thanks.tex
|
976 | -rw-r--r-- |