LiftGet: replace vec-length-same with toList-subst
-rw-r--r-- 11 .gitignore
-rw-r--r-- 3290 BFF.agda
-rw-r--r-- 17234 Bidir.agda
-rw-r--r-- 5918 CheckInsert.agda
-rw-r--r-- 6487 FinMap.agda
-rw-r--r-- 6693 LiftGet.agda