-rw-r--r-- | 11 | .gitignore | blob | history | raw |
-rw-r--r-- | 1819 | BFF.agda | blob | history | raw |
-rw-r--r-- | 15057 | Bidir.agda | blob | history | raw |
-rw-r--r-- | 5566 | CheckInsert.agda | blob | history | raw |
-rw-r--r-- | 236 | Everything.agda | blob | history | raw |
-rw-r--r-- | 7597 | FinMap.agda | blob | history | raw |
-rw-r--r-- | 1141 | FreeTheorems.agda | blob | history | raw |
-rw-r--r-- | 4132 | Generic.agda | blob | history | raw |
-rw-r--r-- | 706 | GetTypes.agda | blob | history | raw |
-rw-r--r-- | 10504 | LiftGet.agda | blob | history | raw |
-rw-r--r-- | 169 | Makefile | blob | history | raw |
-rw-r--r-- | 7052 | Precond.agda | blob | history | raw |