swh:1:snp:df4b14980797eb2b20d98344fa43e332bd7e7ec9
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 |
