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 |
---|---|---|
Adjoint | ||
Category | ||
Diagram | ||
SemiEnriched | ||
SemiBicategory.agda | -rw-r--r-- | 3.2 KB |