| 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 | 1007 | logplain |
| -rw-r--r-- | agda.sty | 9374 | logplain |
| -rw-r--r-- | demo.ka | 475 | logplain |
| -rw-r--r-- | examples.ka | 1536 | logplain |
| -rw-r--r-- | final.bib | 20587 | logplain |
| -rw-r--r-- | final.lagda | 254721 | logplain |
| -rw-r--r-- | hurkens.ka | 807 | logplain |
| -rw-r--r-- | idris-proposal.tex | 5925 | logplain |
| -rw-r--r-- | itt.ka | 2203 | logplain |
| -rw-r--r-- | kant-web.png | 9763 | logplain |
| -rw-r--r-- | presentation.tex | 24292 | logplain |
 |
index : bitonic-mengthesis.git | |
| [no description] |
| summaryrefslogtreecommitdiff |
