-rw-r--r-- | 11 | .gitignore | blob | history | raw |
-rw-r--r-- | 4645 | BFF.agda | blob | history | raw |
-rw-r--r-- | 3441 | BFFPlug.agda | blob | history | raw |
-rw-r--r-- | 19854 | Bidir.agda | blob | history | raw |
-rw-r--r-- | 5538 | CheckInsert.agda | blob | history | raw |
-rw-r--r-- | 302 | Everything.agda | blob | history | raw |
-rw-r--r-- | 3173 | Examples.agda | blob | history | raw |
-rw-r--r-- | 8968 | FinMap.agda | blob | history | raw |
-rw-r--r-- | 1878 | FreeTheorems.agda | blob | history | raw |
-rw-r--r-- | 3911 | Generic.agda | blob | history | raw |
-rw-r--r-- | 2618 | GetTypes.agda | blob | history | raw |
-rw-r--r-- | 3094 | Instances.agda | blob | history | raw |
-rw-r--r-- | 10545 | LiftGet.agda | blob | history | raw |
-rw-r--r-- | 169 | Makefile | blob | history | raw |
-rw-r--r-- | 7753 | Precond.agda | blob | history | raw |
-rw-r--r-- | 3752 | Structures.agda | blob | history | raw |