-rw-r--r-- | 4172 | InterimReport.agda | blob | history | raw |
-rw-r--r-- | 11261 | InterimReport.bib | blob | history | raw |
-rw-r--r-- | 71309 | InterimReport.tex | blob | history | raw |
-rw-r--r-- | 933 | Makefile | blob | history | raw |
-rw-r--r-- | 5925 | idris-proposal.tex | blob | history | raw |
-rw-r--r-- | 11259 | thesis.bib | blob | history | raw |
-rw-r--r-- | 4657 | thesis.lagda | blob | history | raw |
-rw-r--r-- | 4095 | thesis.ptb | blob | history | raw |