projects / bitonic-mengthesis.git / commit
| author | Francesco Mazzoli <f@mazzo.li> | |
| Fri, 14 Dec 2012 14:29:58 +0000 (14:29 +0000) | ||
| committer | Francesco Mazzoli <f@mazzo.li> | |
| Fri, 14 Dec 2012 14:29:58 +0000 (14:29 +0000) | ||
| commit | b1c43d9ab075249fd141e99ce4934dbd1ea67fc8 | |
| tree | 203ec190d2c2ae7f3198fe0c159f9f170c383649 | tree | snapshot |
| docs/Makefile | [new file with mode: 0644] | blob |
| docs/background.tex | [new file with mode: 0644] | blob |
| docs/idris-proposal.tex | [new file with mode: 0644] | blob |