Mercurial > hg > Papers > 2015 > atton-thesis

directory / @ 57:5f0e13923cfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
dir. fig/ drwxr-xr-x
dir. mindmap/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgignore 140 -rw-r--r--
file Makefile 558 -rw-r--r--
file agda.tex 27026 -rw-r--r--
file bibliography.tex 101 -rw-r--r--
file bussproofs.sty 39800 -rw-r--r--
file category.tex 11336 -rw-r--r--
file delta.tex 18533 -rw-r--r--
file delta_with_monad.tex 8323 -rw-r--r--
file functional_programming.tex 18995 -rw-r--r--
file future.tex 2262 -rw-r--r--
file introduction.tex 2008 -rw-r--r--
file main.tex 2025 -rw-r--r--
file mythesis.sty 3279 -rw-r--r--
file original_sources.tex 1287 -rw-r--r--
file proof_delta.tex 20531 -rw-r--r--
file proof_deltaM.tex 1199 -rw-r--r--
file reference.bib 1981 -rw-r--r--
file replace_agda.rb 410 -rw-r--r--
file thanks.tex 976 -rw-r--r--