diff options
-rw-r--r-- | InterimReport.agda (renamed from docs/InterimReport.agda) | 0 | ||||
-rw-r--r-- | InterimReport.bib (renamed from docs/InterimReport.bib) | 0 | ||||
-rw-r--r-- | InterimReport.tex (renamed from docs/InterimReport.tex) | 0 | ||||
-rw-r--r-- | Makefile (renamed from docs/Makefile) | 0 | ||||
-rw-r--r-- | idris-proposal.tex (renamed from docs/idris-proposal.tex) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/docs/InterimReport.agda b/InterimReport.agda index c433d59..c433d59 100644 --- a/docs/InterimReport.agda +++ b/InterimReport.agda diff --git a/docs/InterimReport.bib b/InterimReport.bib index fb31a04..fb31a04 100644 --- a/docs/InterimReport.bib +++ b/InterimReport.bib diff --git a/docs/InterimReport.tex b/InterimReport.tex index 752288c..752288c 100644 --- a/docs/InterimReport.tex +++ b/InterimReport.tex diff --git a/docs/idris-proposal.tex b/idris-proposal.tex index 1d7a043..1d7a043 100644 --- a/docs/idris-proposal.tex +++ b/idris-proposal.tex |