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