rewrite generate using zip and fromAscList
-rw-r--r-- 11 .gitignore
-rw-r--r-- 2896 Bidir.agda