remove VecRevBFF
-rw-r--r-- 11 .gitignore
-rw-r--r-- 2514 BFF.agda
-rw-r--r-- 16240 Bidir.agda
-rw-r--r-- 5870 CheckInsert.agda
-rw-r--r-- 6485 FinMap.agda
-rw-r--r-- 9416 LiftGet.agda
-rw-r--r-- 4343 Precond.agda