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

back to top