| 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 |
