-rw-r--r-- | 11 | .gitignore | blob | history | raw |
-rw-r--r-- | 2545 | BFF.agda | blob | history | raw |
-rw-r--r-- | 3399 | BFFPlug.agda | blob | history | raw |
-rw-r--r-- | 15543 | Bidir.agda | blob | history | raw |
-rw-r--r-- | 5566 | CheckInsert.agda | blob | history | raw |
-rw-r--r-- | 267 | Everything.agda | blob | history | raw |
-rw-r--r-- | 2653 | Examples.agda | blob | history | raw |
-rw-r--r-- | 7764 | 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-- | 1750 | GetTypes.agda | blob | history | raw |
-rw-r--r-- | 10706 | LiftGet.agda | blob | history | raw |
-rw-r--r-- | 169 | Makefile | blob | history | raw |
-rw-r--r-- | 6909 | Precond.agda | blob | history | raw |