-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-- | 1007 | Makefile | blob | history | raw |
-rw-r--r-- | 9374 | agda.sty | blob | history | raw |
-rw-r--r-- | 922 | demo.ka | blob | history | raw |
-rw-r--r-- | 1536 | examples.ka | blob | history | raw |
-rw-r--r-- | 20587 | final.bib | blob | history | raw |
-rw-r--r-- | 254695 | final.lagda | blob | history | raw |
-rw-r--r-- | 807 | hurkens.ka | blob | history | raw |
-rw-r--r-- | 5925 | idris-proposal.tex | blob | history | raw |
-rw-r--r-- | 2203 | itt.ka | blob | history | raw |
-rw-r--r-- | 9763 | kant-web.png | blob | history | raw |
-rw-r--r-- | 24799 | presentation.tex | blob | history | raw |