summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore11logplain
-rw-r--r--BFF.agda4699logplain
-rw-r--r--BFFPlug.agda3454logplain
-rw-r--r--Bidir.agda19629logplain
-rw-r--r--CheckInsert.agda5504logplain
-rw-r--r--Everything.agda302logplain
-rw-r--r--Examples.agda4035logplain
-rw-r--r--FinMap.agda8350logplain
-rw-r--r--FreeTheorems.agda1878logplain
-rw-r--r--Generic.agda3785logplain
-rw-r--r--GetTypes.agda2618logplain
-rw-r--r--Instances.agda3237logplain
-rw-r--r--LICENSE1125logplain
-rw-r--r--LiftGet.agda10441logplain
-rw-r--r--Makefile169logplain
-rw-r--r--Precond.agda7796logplain
-rw-r--r--Structures.agda3791logplain