/docs/
../
Makefile
background.agda
background.bib
background.tex
idris-proposal.tex