Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | InterimReport.agda | 4172 | logplain |
-rw-r--r-- | InterimReport.bib | 11261 | logplain |
-rw-r--r-- | InterimReport.tex | 71309 | logplain |
-rw-r--r-- | Makefile | 955 | logplain |
-rw-r--r-- | examples.ka | 1043 | logplain |
-rw-r--r-- | hurkens.ka | 754 | logplain |
-rw-r--r-- | idris-proposal.tex | 5925 | logplain |
-rw-r--r-- | itt.ka | 317 | logplain |
-rw-r--r-- | kant-web.png | 9763 | logplain |
-rw-r--r-- | thesis.bib | 12277 | logplain |
-rw-r--r-- | thesis.lagda | 129382 | logplain |