use _\==n_ and _\notin_ instead of \neg
-rw-r--r-- 11 .gitignore
-rw-r--r-- 3290 BFF.agda
-rw-r--r-- 16350 Bidir.agda
-rw-r--r-- 5870 CheckInsert.agda
-rw-r--r-- 6485 FinMap.agda
-rw-r--r-- 9771 LiftGet.agda
-rw-r--r-- 4369 Precond.agda