https://github.com/iwilare/categorical-automata
Tip revision: 6455e527c0fe2bd436ea8a601b79217288c8971a authored by fouche on 29 May 2024, 08:57:15 UTC
Merge branch 'main' of https://github.com/iwilare/categorical-automata
Merge branch 'main' of https://github.com/iwilare/categorical-automata
Tip revision: 6455e52
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 |