swh:1:snp:df4b14980797eb2b20d98344fa43e332bd7e7ec9
Revision 26428a154c1fab53ad22ca9c2fadaad1766400cc authored by Andrea Laretto on 05 June 2023, 12:28:00 UTC, committed by GitHub on 05 June 2023, 12:28:00 UTC
1 parent d07306a
Tip revision: 26428a154c1fab53ad22ca9c2fadaad1766400cc authored by Andrea Laretto on 05 June 2023, 12:28:00 UTC
Update README.md
Update README.md
Tip revision: 26428a1
File | Mode | Size |
---|---|---|
Categories | ||
FMealy | ||
FMoore | ||
Mealy | ||
Set | ||
.gitignore | -rwxr-xr-x | 8 bytes |
AsPullbacks.agda | -rw-r--r-- | 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 | 94 bytes |
notes.txt | -rw-r--r-- | 5.9 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...