[ whitespace ] untabify everything
[ fix-agda-whitespace ] change tabs to spaces
Merge pull request #14 from yanok/maint-2.4.2

Untabify everything / updated fix-agda-whitespace to remove tabs