split Bidir.agda to FinMap.agda
-rw-r--r-- 11 .gitignore
-rw-r--r-- 3935 Bidir.agda
-rw-r--r-- 4351 FinMap.agda