-rw-r--r-- | 11 | .gitignore | blob | history | raw |
-rw-r--r-- | 4691 | BFF.agda | blob | history | raw |
-rw-r--r-- | 3584 | BFFPlug.agda | blob | history | raw |
-rw-r--r-- | 19910 | 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-- | 3433 | Examples.agda | blob | history | raw |
-rw-r--r-- | 8968 | FinMap.agda | blob | history | raw |
-rw-r--r-- | 2165 | FreeTheorems.agda | blob | history | raw |
-rw-r--r-- | 3911 | Generic.agda | blob | history | raw |
-rw-r--r-- | 3091 | 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-- | 7787 | Precond.agda | blob | history | raw |
-rw-r--r-- | 3752 | Structures.agda | blob | history | raw |