-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 |