-rw-r--r-- | 11 | .gitignore | blob | history | raw |
-rw-r--r-- | 2977 | BFF.agda | blob | history | raw |
-rw-r--r-- | 15112 | 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-- | 2028 | FreeTheorems.agda | blob | history | raw |
-rw-r--r-- | 4132 | Generic.agda | blob | history | raw |
-rw-r--r-- | 8400 | LiftGet.agda | blob | history | raw |
-rw-r--r-- | 7014 | Precond.agda | blob | history | raw |