improve readability using spaces
-rw-r--r-- 11 .gitignore
-rw-r--r-- 7541 Bidir.agda