[ whitespace ] untabify everything
[ fix-agda-whitespace ] change tabs to spaces