remove useless braces
-rw-r--r-- 11 .gitignore
-rw-r--r-- 9052 Bidir.agda
-rw-r--r-- 6489 FinMap.agda