swh:1:snp:56b07fc13c9af7ae1c3a9accfa550128d7bff354
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 |
---|---|---|
Categories | ||
FMealy | ||
FMoore | ||
Mealy | ||
Set | ||
.gitignore | -rwxr-xr-x | 8 bytes |
AsPullbacks.agda | -rwxr-xr-x | 185 bytes |
Automata.agda | -rw-r--r-- | 111 bytes |
FMealy.agda | -rwxr-xr-x | 2.8 KB |
FMoore.agda | -rwxr-xr-x | 2.7 KB |
Mealy.agda | -rwxr-xr-x | 2.4 KB |
Moore.agda | -rwxr-xr-x | 2.4 KB |
PullbackFiberedAdjunctions.agda | -rw-r--r-- | 4.2 KB |
README.md | -rw-r--r-- | 1.3 KB |
categorical-automata.agda-lib | -rwxr-xr-x | 105 bytes |
notes.txt | -rw-r--r-- | 5.9 KB |