Add the minimal redo: do and do.do
Redo files
Update .gitignore
main: Honor --tex/--agda
Do not usepackage tikz
More unicode arrows
abstract: use latex notation
Rename again the substitute function, we converge though
Travis: ./do all