File | Mode | Size |
---|---|---|
Adjoints.agda | -rw-r--r-- | 3.2 KB |
Automata.agda | -rw-r--r-- | 2.6 KB |
Deaf.agda | -rw-r--r-- | 1.0 KB |
Equality.agda | -rw-r--r-- | 2.0 KB |
Functors.agda | -rw-r--r-- | 5.7 KB |
LimitAutomata.agda | -rw-r--r-- | 2.9 KB |
Mealyfication.agda | -rw-r--r-- | 1.2 KB |
Soft.agda | -rw-r--r-- | 1.3 KB |
Utils.agda | -rw-r--r-- | 332 bytes |