Directory listing for semigroupoids-4.0.4 documentation

semigroupoids-4.0.4-docs/src/