-rw-r--r-- | 11 | .gitignore | blob | history | raw |
-rw-r--r-- | 4482 | BFF.agda | blob | history | raw |
-rw-r--r-- | 3565 | BFFPlug.agda | blob | history | raw |
-rw-r--r-- | 18053 | Bidir.agda | blob | history | raw |
-rw-r--r-- | 5566 | CheckInsert.agda | blob | history | raw |
-rw-r--r-- | 302 | Everything.agda | blob | history | raw |
-rw-r--r-- | 4016 | Examples.agda | blob | history | raw |
-rw-r--r-- | 7770 | FinMap.agda | blob | history | raw |
-rw-r--r-- | 2292 | FreeTheorems.agda | blob | history | raw |
-rw-r--r-- | 3911 | Generic.agda | blob | history | raw |
-rw-r--r-- | 2795 | GetTypes.agda | blob | history | raw |
-rw-r--r-- | 1288 | Instances.agda | blob | history | raw |
-rw-r--r-- | 10706 | LiftGet.agda | blob | history | raw |
-rw-r--r-- | 169 | Makefile | blob | history | raw |
-rw-r--r-- | 7366 | Precond.agda | blob | history | raw |
-rw-r--r-- | 3752 | Structures.agda | blob | history | raw |