Directory listing for semigroupoids-4.0 documentation

semigroupoids-4.0-docs/src/