projects / ~helmut / bidiragda.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
there is no need to work with IsPreorder
-rw-r--r-- 11 .gitignore blob | history | raw
-rw-r--r-- 1855 BFF.agda blob | history | raw
-rw-r--r-- 15108 Bidir.agda blob | history | raw
-rw-r--r-- 5566 CheckInsert.agda blob | history | raw
-rw-r--r-- 7597 FinMap.agda blob | history | raw
-rw-r--r-- 780 FreeTheorems.agda blob | history | raw
-rw-r--r-- 4151 Generic.agda blob | history | raw
-rw-r--r-- 8400 LiftGet.agda blob | history | raw
-rw-r--r-- 7014 Precond.agda blob | history | raw
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)